Merge bibletime (3.0-3) import into refs/heads/workingbranch
authorRoberto C. Sánchez <roberto@debian.org>
Sat, 14 Nov 2020 13:36:18 +0000 (13:36 +0000)
committerRoberto C. Sánchez <roberto@debian.org>
Sat, 14 Nov 2020 13:36:18 +0000 (13:36 +0000)

Trivial merge