Re #1356 Change the version number to 2.0.12. It will be the version number for the next deployment.