NEWS: Add missing entry.
authorMarcus Brinkmann <marcus.brinkmann@ruhr-uni-bochum.de>
Tue, 15 Aug 2017 18:00:26 +0000 (20:00 +0200)
committerMarcus Brinkmann <marcus.brinkmann@ruhr-uni-bochum.de>
Tue, 15 Aug 2017 18:00:26 +0000 (20:00 +0200)
commitfa3918598de35fef0bf626035d59ea36c53832b9
tree7b0b8f7f4b0891c34cdc6b40167e1d024a2f1a00
parent9f24e6c9010e171fd11c5cdac797cb8ce2e501dd
NEWS: Add missing entry.
NEWS