Subject: bug#34008: closed (Re: bug#34008: [PATCH] doc: Fix minor typo in the HTTP headers documentation.)

From: [email-masked] (GNU bug Tracking System)
Date: Mon, 24 Jun 2019 13:20:02 +0000

Your bug report

#34008: [PATCH] doc: Fix minor typo in the HTTP headers documentation.

which was filed against the guile package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to [email-masked].

-- 
34008: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=34008
GNU Bug Tracking System
Contact [email-masked] with problems

Subject: Re: bug#34008: [PATCH] doc: Fix minor typo in the HTTP headers documentation.
From: Ludovic Courtès <[email-masked]>
To: Arun Isaac <[email-masked]>
Cc: [email-masked]
Date: Mon, 24 Jun 2019 15:19:20 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi,

Arun Isaac <[email-masked]> skribis:

> * doc/ref/web.texi (HTTP Headers): Fix minor typo.

Applied, thanks!

Ludo’.

Subject: [PATCH] doc: Fix minor typo in the HTTP headers documentation.
From: Arun Isaac <[email-masked]>
To: [email-masked]
Cc: Arun Isaac <[email-masked]>
Date: Mon, 7 Jan 2019 17:42:31 +0530
List-Id: <debbugs-submit.debbugs.gnu.org>

* doc/ref/web.texi (HTTP Headers): Fix minor typo.
---
 doc/ref/web.texi | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/ref/web.texi b/doc/ref/web.texi
index c8fc488b7..c11ed32fa 100644
--- a/doc/ref/web.texi
+++ b/doc/ref/web.texi
@@ -791,7 +791,7 @@ The MIME type of a resource, as a symbol, along with any parameters.
 (parse-header 'content-type "text/plain;charset=utf-8")
 @result{} (text/plain (charset . "utf-8"))
 @end example
-Note that the @code{charset} parameter is something is a misnomer, and
+Note that the @code{charset} parameter is something of a misnomer, and
 the HTTP specification admits this.  It specifies the @emph{encoding} of
 the characters, not the character set.
 @end deftypevr
-- 
2.19.2