Good evening, I added comment 21 on this bug https://sourceware.org/bugzilla/show_bug.cgi?id=19329 Here I see the issue once a day. Pádraig Brady proposed a fix, could the patch be added please? Regards, Jonny