Subject: RE: bug#12686: PATCH: ambiguous help doc strings

From: "Drew Adams" <[email-masked]>
Date: Thu, 25 Oct 2012 14:13:28 -0700

> Ah, ok.  I didn't notice you had suggested that.  Since that wasn't
> the thrust of my bug report, perhaps, make your suggestion a patch and
> submit as a new bug.

I consider it submitted. ;-)
If Stefan or you don't want to do that now, fine by me.