Merge gcc-7 (7.1.0-10) import into refs/heads/workingbranch
authorMatthias Klose <doko@debian.org>
Sat, 22 Jul 2017 13:06:36 +0000 (14:06 +0100)
committerMatthias Klose <doko@debian.org>
Sat, 22 Jul 2017 13:06:36 +0000 (14:06 +0100)

Trivial merge