12 Jan
2016
12 Jan
'16
5:23 p.m.
Hi, there were some fallouts from the recent merger of #842, which I've quickly fixed up by pushing two trivial patches to master bypassing review on github. My patches compile without warnings and make check is passed, but please review them. Cheers, -- Bazsi