--- a/.hgtags Fri Aug 03 00:22:50 2018 +0200
+++ b/.hgtags Tue Aug 21 14:09:33 2018 +0200
@@ -67,3 +67,4 @@
e4ac2e2c2086f977afa35e23a62f849e9305a225 7.3.0
116cdd8c102ab0ae6295fb4886b0882e75e4d8f7 8.0.0
0887c30255a1a1808d74a63b16e896d457f8ef32 8.0.1
+2c5d79c6459c6fabe0eb8723fc5041ac0dac7a9a 8.1.0