--- a/.hgtags Mon Jun 11 23:30:24 2018 +0530
+++ b/.hgtags Mon Jun 11 23:31:44 2018 +0530
@@ -66,3 +66,4 @@
6c772398eb4e209914e1074cdac4f3ebf714e437 7.2.1
e4ac2e2c2086f977afa35e23a62f849e9305a225 7.3.0
116cdd8c102ab0ae6295fb4886b0882e75e4d8f7 8.0.0
+0887c30255a1a1808d74a63b16e896d457f8ef32 8.0.1