Merge gcc-defaults (1.185) import into refs/heads/workingbranch
authorMatthias Klose <doko@debian.org>
Fri, 23 Aug 2019 19:25:50 +0000 (20:25 +0100)
committerMatthias Klose <doko@debian.org>
Fri, 23 Aug 2019 19:25:50 +0000 (20:25 +0100)

Trivial merge