diff -r a82fd2ebb713 -r 0ba193727ae5 .hgtags --- a/.hgtags Fri Dec 14 20:51:49 2018 +0100 +++ b/.hgtags Fri Dec 14 20:51:49 2018 +0100 @@ -42,3 +42,4 @@ 3959d8c4c1ec54a5b0d6bd65240376d1d4b64ea8 0.1.29 789e9f5c510e562841afc1cbd9c823be5a603da5 0.1.30 b851a687604dfe278772d8e032e1f511df5a1aeb 0.1.31 +a82fd2ebb7135d2b1d7233f7ab5b863eee08d17a 0.1.31.1