Re: gtkmm-list Digest, Vol 148, Issue 8

["D. B." <db0451 gmail com>]

Heh, it HAD been reported, but Bugzilla search didn't find a match as I was writing up my title, probably because mine was too specific...

Here we go:
https://bugzilla.gnome.org/show_bug.cgi?id=769076

...and there are patches there, though I can't see any indication that a fix has been committed yet, but it's definitely in the works.

Cheers!