--- a/.hgtags Tue Aug 28 11:24:49 2018 +0200
+++ b/.hgtags Mon Sep 03 21:59:24 2018 +0200
@@ -69,3 +69,4 @@
0887c30255a1a1808d74a63b16e896d457f8ef32 8.0.1
2c5d79c6459c6fabe0eb8723fc5041ac0dac7a9a 8.1.0
e7abf863e1130e14cd4d65e53467a199d267b4fd 8.1.1
+f1cde4c97806fc6d6cc4c1e09ea2f4081a3ebaec 8.1.2