diff -r b7d90dd57afc -r 356eefa0b8af .hgtags
--- a/.hgtags	Tue May 12 14:36:11 2015 +0200
+++ b/.hgtags	Tue May 12 14:36:28 2015 +0200
@@ -22,3 +22,4 @@
 5d3b82204ff9aa37bd5263c4f5cc7ce679991f94 V00.01.17
 af8dfbe656a99e2ead63209fa9865978c85fe2bb V00.01.18
 4f2bfc70aff17d87220db5cd7482dfc38714f2f6 V00.01.19
+b7d90dd57afca41b1992edcb998abdc08631b3d2 V00.01.20