Merge branch 'builder-tool-fixes' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Sun, 5 May 2019 06:57:21 +0000 (06:57 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Sun, 5 May 2019 06:57:21 +0000 (06:57 +0000)
Builder tool fixes

See merge request GNOME/gtk!817


Trivial merge