18 Jul
2017
18 Jul
'17
4:42 p.m.
Thanks, Marcus. Unfortunately, with my patch for the same issue (caught by valgrind), this no longer applies. Can you rebase this please?