Merge gcc-defaults (1.185.1) import into refs/heads/workingbranch
authorMatthias Klose <doko@debian.org>
Mon, 9 Sep 2019 12:30:14 +0000 (13:30 +0100)
committerMatthias Klose <doko@debian.org>
Mon, 9 Sep 2019 12:30:14 +0000 (13:30 +0100)

Trivial merge