src/Pure/General/http.scala

--- a/src/Pure/General/http.scala	Sat Jun 15 17:16:14 2024 +0200
+++ b/src/Pure/General/http.scala	Sat Jun 15 20:14:24 2024 +0200
@@ -50,7 +50,7 @@
     val encoding: String,
     val elapsed_time: Time
   ) {
-    def text: String = new String(bytes.array, encoding)
+    def text: String = new String(bytes.make_array, encoding)
     def json: JSON.T = JSON.parse(text)
   }