diff -r 4960f29e4127 -r 72bee64f2f91 .hgtags
--- a/.hgtags	Mon Dec 17 14:36:22 2018 +0100
+++ b/.hgtags	Mon Dec 17 14:36:22 2018 +0100
@@ -43,3 +43,4 @@
 789e9f5c510e562841afc1cbd9c823be5a603da5 0.1.30
 b851a687604dfe278772d8e032e1f511df5a1aeb 0.1.31
 a82fd2ebb7135d2b1d7233f7ab5b863eee08d17a 0.1.31.1
+4960f29e412715eb6cb1cfb350c3bb23525c00d1 0.1.31.2