@markusfritsch
markusfritsch adjust NEWS.md for version 0.9.3.9000
fd79d92 Oct 8, 2020
adjust NEWS.md for version 0.9.3.9000
fd79d92