archive/debian/0.72.4

Andrej Shadura

@andrewsh

c70a934a · Update the changelog · Mar 10, 2019

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