src/Pure/General/http.scala

--- a/src/Pure/General/http.scala	Fri Oct 21 19:08:18 2022 +0200
+++ b/src/Pure/General/http.scala	Fri Oct 21 19:10:38 2022 +0200
@@ -22,7 +22,7 @@
     val mime_type_html: String = "text/html; charset=utf-8"
 
     val default_mime_type: String = mime_type_bytes
-    val default_encoding: String = UTF8.charset_name
+    val default_encoding: String = UTF8.charset.name
 
     def apply(
         bytes: Bytes,