Merge gcc-7 (7.1.0-7+rpi1) import into refs/heads/workingbranch
authorPeter Michael Green <plugwash@raspbian.org>
Wed, 28 Jun 2017 15:47:01 +0000 (16:47 +0100)
committerPeter Michael Green <plugwash@raspbian.org>
Wed, 28 Jun 2017 15:47:01 +0000 (16:47 +0100)

Trivial merge