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

Reply via email to