Merge branch 'sofia/async-http-data' into sofia/async-http-headers

2026-03-17 18:34:06 +00:00 · 2026-03-03 13:58:55 -03:00
parent 238925a681 af12f7e9be
commit 3075e5091b
1 changed files with 1 additions and 1 deletions
--- a/src/Std/Internal/Http/Data/Response.lean
+++ b/src/Std/Internal/Http/Data/Response.lean
@@ -70,7 +70,7 @@ Builds an HTTP Response.
 -/
 structure Response.Builder where
  /--
-  The start-line of an HTTP request (method, request-target, and version).
+  The response status-line information.
  -/
  line : Head := {}