Re: menu bug solved?

[John Harper <jsh unfactored org>]

On Feb 7, 2005, at 6:58 PM, Michal Maruška wrote:
> even though i don't use the SF menus, i took the time to look into the 
> issue,
> because i have the tools to do it, and the knowledge.
> I would appreciate, if you mentioned the fact that I found this bug, 
> which
> dates back long, in the CVS Changelog.  Even if i didn't bother to 
> provide a
> formal patch.

sure, I changed it, thanks for the suggestion,

    John