revert: wrong comment

2026-03-17 18:34:06 +00:00 · 2026-03-03 13:58:08 -03:00
parent 58f14d34d7
commit af12f7e9be
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
@@ -63,7 +63,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 := {}