There were also numerous contributions merged with small API improvements.
+1 for making a new release.

Since the changes are mostly bugfixes, should we make it a point release?​

Reply via email to