archive/debian/0.72.5

Andrej Shadura

@andrewsh

b685821c · Update the changelog · Mar 10, 2019

javatools release 0.72.5 for unstable (sid) [dgit]
[dgit distro=debian]