Subject: bug#10945: Can't search through help menu.

From: Drew Adams <[email-masked]>
Date: Thu, 4 May 2017 08:57:47 -0700 (PDT)

> Hmmm… I thought that if reply to this bug number it will somehow present
> the thread history.
> 
> Anyway - here is the bug report:
> https://debbugs.gnu.org/cgi/bugreport.cgi?bug=10945

Very sorry; my bad.  I thought this was a new bug report, and that
your message was the whole bug report.  Perhaps I thought that
because the Subject line didn't say "RE:", for some reason.

Sorry.