Merge branch 'otte/for-master' into 'master'
authorBenjamin Otte <otte.benjamin@googlemail.com>
Tue, 15 Oct 2019 18:47:57 +0000 (18:47 +0000)
committerBenjamin Otte <otte.benjamin@googlemail.com>
Tue, 15 Oct 2019 18:47:57 +0000 (18:47 +0000)
Otte/for master

See merge request GNOME/gtk!1133


Trivial merge