Hi Jakub,

Bootstrapped/regtested on x86_64-linux and i686-linux, ok for trunk and
15.2?

OK. Thanks for catching and fixing this!

Best regards

        Thomas König

Reply via email to