Hi Lorenzo,
On Fri, Dec 04, 2020 at 02:48:30PM +0100, lid lor wrote:
> Not immediately, unfortunately.
> It will require asking the IT guys to install the updated version, and
> this is going to take some days.
OK, please let us know when you can test with the current version.
I am afraid that the problem will still be present,
but we have changed quite a few things, so one never knows...
Thanks for your help in any case.
Best wishes, --Joris
_______________________________________________
Texmacs-dev mailing list
Texmacs-dev@gnu.org
https://lists.gnu.org/mailman/listinfo/texmacs-dev