On 2017-01-20 18:45, Pedro Alves wrote: > OK. How about putting this in 7.12.1 too? Yep. Pushed to master and 7.12. I added the reference to the PR: https://sourceware.org/bugzilla/show_bug.cgi?id=21068 Thanks!