Re: [gnome-db] Bug 12795 solved! (po info header in some buttons)

[Rodrigo Moya <rodrigo gnome-db org>]

On Wed, 2001-10-17 at 18:50, Rodrigo Moya wrote:
> On Tue, 2001-10-16 at 18:18, Gonzalo Paniagua Javier wrote:
> > 	Well, here's a patch to solve bug #12795. May be there's a more
> > 	sofisticated way but this one works fine.
> > 
> well, I don't know if there's a more sophisitcated way, but I'm sure
> there's no easiest way :-)
> 
> Could somebody with CVS access (Carlos, please) commit this patch?
> 
and close the bug, please

cheers
-- 
Rodrigo Moya <rodrigo gnome-db org> - <rodrigo ximian com>
http://www.gnome-db.org/ - http://www.ximian.com/