22 Jun
2018
22 Jun
'18
10:03 p.m.
On Fri, 22 Jun 2018 13:57:05 +0200 Wolfgang Schuster
Hans gave a solution to this a while ago: https://mailman.ntg.nl/pipermail/ntg-context/2018/090833.html
Wolfgang
Thank you Wolfgang for pointing me to this solution! Cheers, Christoph