Update upstream source from tag 'upstream/0.7.2'
authorIustin Pop <iustin@debian.org>
Sun, 29 Nov 2020 20:06:58 +0000 (21:06 +0100)
committerIustin Pop <iustin@debian.org>
Sun, 29 Nov 2020 20:06:58 +0000 (21:06 +0100)
commit317a3380b8ffb0bf199862234055edd51714d8f6
tree3f71744b4da4a1b848f6a0d3fd21d82876de1406
parentc07825cb7dc9e4a142b39847c85e50611369e522
parent13ea02843bd5698cd598ace187e9033ff3406ea5
Update upstream source from tag 'upstream/0.7.2'

Update to upstream version '0.7.2'
with Debian dir 2646cf89efcd85bcc77d204d81785da4df5d1bdf