11 Aug
2014
11 Aug
'14
7:49 a.m.
OK, the bug fix is in, with a small test case. Pushed as 3.1.3.3.
Best, r