Merge gcc-8 (8.1.0-12) import into refs/heads/workingbranch
authorMatthias Klose <doko@debian.org>
Thu, 19 Jul 2018 15:39:39 +0000 (16:39 +0100)
committerMatthias Klose <doko@debian.org>
Thu, 19 Jul 2018 15:39:39 +0000 (16:39 +0100)

Trivial merge