Merge gcc-9 (9.3.0-12) import into refs/heads/workingbranch
authorMatthias Klose <doko@debian.org>
Thu, 7 May 2020 14:59:19 +0000 (15:59 +0100)
committerMatthias Klose <doko@debian.org>
Thu, 7 May 2020 14:59:19 +0000 (15:59 +0100)

Trivial merge