Merge gcc-6 (6.4.0-12) import into refs/heads/workingbranch
authorMatthias Klose <doko@debian.org>
Tue, 23 Jan 2018 12:41:09 +0000 (12:41 +0000)
committerMatthias Klose <doko@debian.org>
Tue, 23 Jan 2018 12:41:09 +0000 (12:41 +0000)

Trivial merge