--- a/.hgtags	Mon Nov 28 14:27:59 2016 +0100
+++ b/.hgtags	Mon Dec 05 12:53:50 2016 +0000
@@ -59,3 +59,4 @@
 7ec52755622f1009aaf7b02fc9bc91e8ad9974be 0.9.9
 352270bc04393910a567b569ede03358dbb728b5 0.9.10
 8613086779fa9276615c2af066d2a10c38d0c86e 0.9.11
+2a7b52437167a5c7b6c8a5bc79f4463afe092fd5 0.9.12
changeset 7807	4e649ffdb314
parent 7681	99abf5a5d8d3
child 8290	66ab0d1b7303
child 8590	986c3e22ec32