--- a/.hgtags	Fri Jul 20 12:46:57 2018 +0200
+++ b/.hgtags	Fri Jul 20 12:46:57 2018 +0200
@@ -11,3 +11,4 @@
 09f9b0f3108d86f7a61b13f7df4a5e5534555d30 0.1.11
 0da5847db3a4ff099a8c2df86ea79cf7957117b1 0.1.12
 08ed24d0f2e9a889878fa47ec47c2ee19cea2319 0.1.13
+f0aa1e1e3bbf1c7759f9fb815a782af0ea9b0f28 0.1.14