Release of new version 0.9.12