David Härdeman Thu, 27 Apr 2017 04:27:40 -0700
FYI, I've reported the bug upstream at: https://bugzilla.gnome.org/show_bug.cgi?id=781825
-- David Härdeman