Merge gcc-7 (7.1.0-13) import into refs/heads/workingbranch
authorMatthias Klose <doko@debian.org>
Tue, 8 Aug 2017 15:12:56 +0000 (16:12 +0100)
committerMatthias Klose <doko@debian.org>
Tue, 8 Aug 2017 15:12:56 +0000 (16:12 +0100)

Trivial merge