On 10/24/2017 09:51 PM, Christoph Reller wrote: > On Tue, 24 Oct 2017 18:31:24 +0200 Pablo Rodriguez wrote: > [...] > Thank you Pablo for pointing me to the developer's mailing list. I have > not thought about searching through that. So, this is good news for me > and I will wait for the fix.
Christoph, I’m subscribed to that list and I just saw the message. Pablo -- http://www.ousia.tk ___________________________________________________________________________________ If your question is of interest to others as well, please add an entry to the Wiki! maillist : ntg-context@ntg.nl / http://www.ntg.nl/mailman/listinfo/ntg-context webpage : http://www.pragma-ade.nl / http://context.aanhet.net archive : https://bitbucket.org/phg/context-mirror/commits/ wiki : http://contextgarden.net ___________________________________________________________________________________