--- a/.hgtags	Wed Sep 05 21:23:29 2018 +0900
+++ b/.hgtags	Mon Oct 01 16:07:36 2018 -0400
@@ -182,3 +182,4 @@
 e90130af47ce8dd53a3109aed9d15876b3e7dee8 4.7rc0
 33ac6a72308a215e6086fbced347ec10aa963b0a 4.7
 ede3bf31fe63677fdf5bd8db687977d4e3d792ed 4.7.1
+5405cb1a79010ac50c58cd84e6f50c4556bf2a4c 4.7.2