Just for the record, this was fixed some time ago. ___________________ Miguel de Benito. Am 23.08.2012 10:29 schrieb "Sam Liddicott" <s...@liddicott.com>:
> > > On Wed, Aug 22, 2012 at 4:37 PM, <texmacs.5.pjo...@spamgourmet.com> wrote: > >> ** >> Dear Sam >> >> Git commit >> https://gitorious.org/texmacs/texmacs/commit/6c503f75c359f7f2b4c4bf26549b265d4d272fed(= >> svn rev 5590) does not have this problem. It seems the following "tiny >> tweak" is not all that good. >> >> > Thanks VERY much for that detail. > > $ git revert a3e827082002c9b43a4e484b9f8c0b37b5cbbc7f > > fixed my build. > > > > _______________________________________________ > Texmacs-dev mailing list > Texmacs-dev@gnu.org > https://lists.gnu.org/mailman/listinfo/texmacs-dev > >
_______________________________________________ Texmacs-dev mailing list Texmacs-dev@gnu.org https://lists.gnu.org/mailman/listinfo/texmacs-dev
