dbmaster: make lint happy
authorJulien Cristau <jcristau@debian.org>
Tue, 8 Oct 2019 15:18:38 +0000 (17:18 +0200)
committerJulien Cristau <jcristau@debian.org>
Tue, 8 Oct 2019 15:27:58 +0000 (17:27 +0200)

No differences found