Releasing version 0.12.