Subject: bug#13195: [debbugs-tracker] Processed: Re: bug#13177: 24.3.50; doc of `read-char-by-name'

From: "Drew Adams" <[email-masked]>
Date: Mon, 17 Dec 2012 06:23:08 -0800

> > forcemerge 13177 13195
> bug#13177: 24.3.50; doc of `read-char-by-name'
> bug#13195: 24.3.50; `read-char-by-name' return value wrong 
> for some hash-notation input
> Forcibly Merged 13177 13195.

Hm.  I specifically filed a separate bug about the behavior as opposed to the
doc.  I have no objection to the merge, but the bug name is now misleading,
making it seem as if there is only a doc bug.