8 Aug
2013
8 Aug
'13
7:52 p.m.
On 08/08/2013 07:24 PM, Hans Hagen wrote:
On 8/8/2013 4:50 PM, Pablo Rodríguez wrote:
[...] Isn’t it a bug?
yes, but in fact a side effect of trying to fix another page-crossing issue ... i'll try a different trick
Many thanks for the fix, Hans. Pablo -- http://www.ousia.tk