Merge branch 'matthiasc/for-master' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Fri, 13 Dec 2019 19:58:53 +0000 (19:58 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Fri, 13 Dec 2019 19:58:53 +0000 (19:58 +0000)
some builder-tool improvements

See merge request GNOME/gtk!1248


Trivial merge