Release 7.1.0 (Nov 2019)

Release 7.0.0 (July 2019)

Release 6.1.2 (Apr 2019)

Release 6.1.1 (Mar 2019)

Release 6.1.0 (Nov 2018)

Release 6.0.0 (Dec 2017)

Release 5.0.0 (July 2016)

Release 4.1.2 (Oct 2015)

Release 4.0.5 (Dec 2014)

(Starting point for release notes.)