Merge gcc-defaults (1.176+rpi1) import into refs/heads/workingbranch
authorPeter Michael Green <plugwash@raspbian.org>
Thu, 7 Jun 2018 13:27:06 +0000 (14:27 +0100)
committerPeter Michael Green <plugwash@raspbian.org>
Thu, 7 Jun 2018 13:27:06 +0000 (14:27 +0100)

Trivial merge