archive/debian/0.20200712

Andrej Shadura

@andrewsh

044325e5 · Update the changelog · Jul 12, 2020

mini-soong release 0.20200712 for unstable (sid) [dgit]

[dgit distro=debian no-split]