20 Nov
2012
20 Nov
'12
11:20 p.m.
Hm, it seems like my general purpose search engine missed an existing report about the same issue, for which Aditya provided a fix. (http://www.mail-archive.com/ntg-context@ntg.nl/msg66002.html) So there are now two fixes. Sorry for the noise if mine is nonsense :-)