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

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

Rodrigo Moya <rodrigo gnome-db org> - <rodrigo ximian com> -

[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]