On Wed, Mar 01, 2017 at 11:50:22AM -0800, Paul Vojta wrote: > Hi, > > I'm fairly certain that I've found the bug. > [snip]
Oops, never mind. It's been recently fixed in https://bugzilla.gnome.org/show_bug.cgi?id=778357 After five years, scooped by just two days! Paul Vojta
