Merge giada (0.15.2+ds1-2+rpi1) import into refs/heads/workingbranch
authorPeter Michael Green <plugwash@raspbian.org>
Sun, 17 Mar 2019 13:18:55 +0000 (13:18 +0000)
committerPeter Michael Green <plugwash@raspbian.org>
Sun, 17 Mar 2019 13:18:55 +0000 (13:18 +0000)

Trivial merge