net.http.server: Re-fire unhandled HEAD requsts as GET events (fixes #1447) BC: This overloads the GET event. Previous commit ensures HEAD requests are sent without a body.

author: Kim Alvefur <zash@zash.se>
date: Sat, 12 Oct 2019 18:27:54 +0200
parent: 10251:022d42e122d4
child: 10354:8a186801257b
--- a/CHANGES	Sat Oct 12 18:27:02 2019 +0200
+++ b/CHANGES	Sat Oct 12 18:27:54 2019 +0200
@@ -11,6 +11,7 @@
 -   Rewritten migrator
 -   SCRAM-SHA-256
 -   Bi-directional server-to-server (XEP-0288)
+-   Built-in HTTP server now handles HEAD requests
 
 0.11.0
 ======