--- a/.hgtags Wed Jul 12 14:19:15 2017 +0200 +++ b/.hgtags Wed Jul 12 14:19:16 2017 +0200 @@ -4,3 +4,4 @@ a801552ffad0fe2386aef25f573a7bf3d067a256 0.1.3 a376782c4077c4632ee810a0aa992590674969a6 0.1.4 16c82cc767a392819da55829f426f8f103b059f7 0.1.5 +383deb35fc5064f7ba36e24dfe78d1e79c56a321 0.1.6