Merge gcc-7 (7.1.0-13+rpi1) import into refs/heads/workingbranch
authorPeter Michael Green <plugwash@raspbian.org>
Fri, 18 Aug 2017 23:45:20 +0000 (00:45 +0100)
committerPeter Michael Green <plugwash@raspbian.org>
Fri, 18 Aug 2017 23:45:20 +0000 (00:45 +0100)

Trivial merge