On Wed, Feb 17, 2016 at 10:58:01AM +0100, Jan Lühr wrote:
Comparing the age (2015-07) and the severity: Can you give some details on the situation? Why was the bug fixed so late?
https://sourceware.org/bugzilla/show_bug.cgi?id=18665 Mike Stone