--- a/.hgtags	Tue Aug 28 19:59:20 2018 +0200
+++ b/.hgtags	Tue Aug 28 20:30:57 2018 +0200
@@ -69,3 +69,4 @@
 0887c30255a1a1808d74a63b16e896d457f8ef32 8.0.1
 2c5d79c6459c6fabe0eb8723fc5041ac0dac7a9a 8.1.0
 e7abf863e1130e14cd4d65e53467a199d267b4fd 8.1.1
+f1cde4c97806fc6d6cc4c1e09ea2f4081a3ebaec 8.1.2