v0.13.0
Small bug-fix release:
Changelog for v0.12.0..v0.13.0
* [8efa15b] [maven-release-plugin] prepare for next development iteration
* [f959703] drv: set default for option restore-success-on-close
to false
* [a9ee73b] drv: use dedicated thread pool for notifications and callbacks
* [534d415] [maven-release-plugin] prepare release v0.13.0