diff -r aee07320f5e5 -r cd1ccd48c274 .hgtags --- a/.hgtags Fri Oct 05 15:47:58 2018 +0200 +++ b/.hgtags Fri Oct 05 15:47:58 2018 +0200 @@ -14,3 +14,4 @@ f0aa1e1e3bbf1c7759f9fb815a782af0ea9b0f28 0.1.14 532cb52f120b843f8626d716b24735a3aebd1137 0.1.15 4390a61cab61a6c1d4ba2dba17a0e69c8c73a021 0.1.16 +aee07320f5e55fdf08143e0b16c3a49f0d1c8ff0 0.1.16.1