Merge bibletime (2.11.2-11+rpi1) import into refs/heads/workingbranch
authorPeter Michael Green <plugwash@raspbian.org>
Sun, 18 Nov 2018 15:41:42 +0000 (15:41 +0000)
committerPeter Michael Green <plugwash@raspbian.org>
Sun, 18 Nov 2018 15:41:42 +0000 (15:41 +0000)

Trivial merge