11 Dec
2015
11 Dec
'15
5:08 p.m.
On Fri, Dec 11, 2015 at 2:38 PM, Mirko Vukovic mirko.vukovic@gmail.com wrote:
Thanks for identifying the issue - I look forward to the fix.
Pushed ce92983.
Cheers,
--
Luís Oliveira
http://kerno.org/~luis/