diff -r 8431bb224862 -r 5cfec61b872b .hgtags
--- a/.hgtags	Tue Apr 07 19:33:40 2020 +0200
+++ b/.hgtags	Wed Apr 08 16:16:09 2020 +0200
@@ -85,3 +85,4 @@
 d989bab720e5f7638a9e58fda76cf3f4b40d0611 9.2.1
 ef41094c34e162eb32ef24bf66d9776d1112751a 9.2.2
 583dc6ef3eb21fbf6574021136f32b8a1163506c 9.3.0
+8d955635cf457aaa4810d77740721d4275001f74 9.3.1