Merge branch 'kill-key-events' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Wed, 23 May 2018 01:55:05 +0000 (01:55 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Wed, 23 May 2018 01:55:05 +0000 (01:55 +0000)
Kill key events

See merge request GNOME/gtk!160


Trivial merge