Hi, On 07/25/2018 12:54 PM, Ævar Arnfjörð Bjarmason wrote: > The code you're modifying doesn't exist in the "pu" branch since > 249d626f2c indeed, thanks. > From looking at it it seems we no longer have this problem, > but perhaps you'd like to check that out for yourself? Yes, it's not needed anymore at all, yay! Sorry for the noise. Regards, Daniel