Re: [PATCH] Bug 67636: gnome_app_find_menu_pos()

[Jody Goldberg <jody gnome org>]

On Sun, Jan 13, 2002 at 01:53:20PM +0100, Murray Cumming wrote:
> I've posted this libgnomeui patch to the list, I've put it in bugzilla,
> I've asked on irc, but nobody seems to care. Is there any point at which
> I can just go ahead and commit it?
> 
> http://bugzilla.gnome.org/show_bug.cgi?id=67636

Given that I've independantly had to make the same fix I'd like to
see this go in.  Anders ?