tree 35839b2343221e744125538d40ba3f0582b8eac1
parent 6aecb02608a8abe9ff9d73a46341342f327e51b3
author Thomas Klausner <tk@giga.or.at> 1594456900 +0200
committer Thomas Klausner <tk@giga.or.at> 1594456900 +0200

Update NEWS for 1.7.2 and bump version.