On Fri, Apr 17, 2009 at 6:40 AM, Andrea Gamba <[email protected]> wrote: > Dear Joris, > > Are you possibly implementing also the patch I suggested here: > > http://savannah.gnu.org/bugs/?25938 > It solves a minor but annoying problem for Gnome/Ubuntu users. > > Andrea > >
Andrea, This is Raju. I will try to include your fix in the next Debian upload. If Joris decides to put it in the upstream, then I will remove it from the Debian version. Does that sound reasonable? raju _______________________________________________ Texmacs-dev mailing list [email protected] http://lists.gnu.org/mailman/listinfo/texmacs-dev
