--- a/.hgtags Tue Aug 21 13:25:28 2018 +0200
+++ b/.hgtags Tue Aug 28 11:24:49 2018 +0200
@@ -68,3 +68,4 @@
116cdd8c102ab0ae6295fb4886b0882e75e4d8f7 8.0.0
0887c30255a1a1808d74a63b16e896d457f8ef32 8.0.1
2c5d79c6459c6fabe0eb8723fc5041ac0dac7a9a 8.1.0
+e7abf863e1130e14cd4d65e53467a199d267b4fd 8.1.1