Hi all,

more than 90 issues are fixed now:

The last release (1.15) is already more than one year ago (July 25, 2018).
It's time!  Of course, we'll check all remaining issues whether they should
be fixed now or can be moved to be fixed in 1.17.

I would be ready to push a release candidate during the next weeks and have
already started to work through the remaining issues. Please, comment on
issues you want to get fixed in 1.16 soon!


Reply via email to