debian/4.7.2-1

Ole Streicher

@olebole

7c26b056 · Update changelog for 4.7.2-1 release · Aug 26, 2020

starjava-topcat Debian release 4.7.2-1