--- a/.hgtags	Tue Jun 30 07:23:29 2020 +0200
+++ b/.hgtags	Wed Jul 01 23:30:39 2020 +0530
@@ -210,3 +210,4 @@
 26ce8e7515036d3431a03aaeb7bc72dd96cb1112 5.4rc0
 cf3e07d7648a4371ce584d15dd692e7a6845792f 5.4
 065704cbdbdbb05dcd6bb814eb9bbdd982211b28 5.4.1
+0ea9c86fac8974cd74dc12ea681c8986eb6da6c4 5.4.2