11 Jan
2013
11 Jan
'13
7:12 p.m.
*Ping!*
Happy New Year everyone. Is there any update on this? I think Francesco already pointed out how to solve the last remaining issue with this, so I hope we can now resubmit these patches and finally get them merged. Daniel?