Changes to version 0.12.0-pre (3f5d0b5b6 2014-08-19 16:35:51 +0000)