Am 05.07.2017 um 21:56 schrieb Carlos O'Donell:
I agree. If you have the opportunity please file a match bug with upstream at sourceware.org/bugzilla. That way upstream is made aware of the issue.
Sure, I'll report the bug there. Cheers, Johannes