--- a/.hgtags	Mon Apr 08 13:37:19 2019 +0200
+++ b/.hgtags	Sun May 26 22:23:00 2019 +0200
@@ -2,3 +2,4 @@
 6b88bc57ae91371bd896e926b7543aa68a7f60e7 v0.9
 1ad18e8b4048abfb6329ba98d144cfb03e0daab2 v0.10
 3636510513d5532d356e8ae8dd1dfcdf4341c699 v0.11
+fecb37615f7dced9c7147111836a7b9b6093fcd3 v0.12