Merge gcc-defaults (1.181) import into refs/heads/workingbranch
authorMatthias Klose <doko@debian.org>
Mon, 25 Feb 2019 08:48:12 +0000 (08:48 +0000)
committerMatthias Klose <doko@debian.org>
Mon, 25 Feb 2019 08:48:12 +0000 (08:48 +0000)

Trivial merge