Merge branch 'sofia/async-http-uri' into sofia/async-http-body

2026-03-17 18:34:06 +00:00 · 2026-03-03 13:59:07 -03:00
parent 53c9277209 3dfb5e002a
commit 74af777707
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 := {}