# HG changeset patch
# User wenzelm
# Date 1708255974 -3600
# Node ID 5d77df3d30d190893161ef4c9e67eb9e8b13a5cf
# Parent  cff4576218fa0b29f7a6bd8afa7de9c41860c827
unused;

diff -r cff4576218fa -r 5d77df3d30d1 src/Pure/General/http.scala
--- a/src/Pure/General/http.scala	Sat Feb 17 21:28:28 2024 +0100
+++ b/src/Pure/General/http.scala	Sun Feb 18 12:32:54 2024 +0100
@@ -9,7 +9,7 @@
 
 import java.io.{File => JFile}
 import java.nio.file.Files
-import java.net.{InetSocketAddress, URI, URL, HttpURLConnection}
+import java.net.{InetSocketAddress, URI, HttpURLConnection}
 import com.sun.net.httpserver.{HttpExchange, HttpHandler, HttpServer}