--- a/.hgtags	Wed Jan 29 11:11:18 2020 +0100
+++ b/.hgtags	Mon Feb 03 11:07:33 2020 -0500
@@ -204,3 +204,4 @@
 b4c82b70418022e67cc0e69b1aa3c3aa43aa1d29 5.2.2
 84a0102c05c7852c8215ef6cf21d809927586b69 5.3rc0
 e4344e463c0c888a2f437b78b5982ecdf3f6650a 5.3rc1
+7f5410dfc8a64bb587d19637deb95d378fd1eb5c 5.3