https://sourceware.org/bugzilla/show_bug.cgi?id=31692
--- Comment #3 from W. van der Laan <laanwj at protonmail dot com> --- i can confirm that the pushed commit solves the issue. That was so quick, thank you! -- You are receiving this mail because: You are on the CC list for the bug.
