diff -r 7d4c80c3f386 -r a4d5dcc836ab .hgtags
--- a/.hgtags	Thu Oct 25 17:03:34 2018 +0200
+++ b/.hgtags	Thu Oct 25 18:51:55 2018 +0200
@@ -73,3 +73,4 @@
 8d8f08245f9715adf48d6f0f59772b04fd7de1f7 8.2.0
 c6362c4abd695fb96e2fd63c150c051852303c7e 8.2.1
 45d4b49d81d9ed23e40126f72bfc3fb339522356 8.3.0
+b90422a11a887c6ff756c2a5622ea0a1e260ff4c 8.3.1