>>>>> On Mon, 09 Dec 2019 18:08:33 +0100, Adam Sjøgren said: Adam> I can confirm that this patch fixes the problem I reported. Thanks for testing. Eli, is this OK for master?