version 0.9.12 release, see CHANGELOG for details