-
Matthias Clasen authored
There was an errant path that threw off our clipping for the top section of the border. https://bugzilla.gnome.org/show_bug.cgi?id=722937
0ddc1eed
There was an errant path that threw off our clipping for the top section of the border. https://bugzilla.gnome.org/show_bug.cgi?id=722937