--- a/.hgtags Tue Jun 06 17:00:16 2017 +0200 +++ b/.hgtags Tue Jun 06 17:00:23 2017 +0200 @@ -3,3 +3,4 @@ c5db010dec6e2a850c81d8ad62a18dc85fedc8a9 0.1.2 a801552ffad0fe2386aef25f573a7bf3d067a256 0.1.3 a376782c4077c4632ee810a0aa992590674969a6 0.1.4 +16c82cc767a392819da55829f426f8f103b059f7 0.1.5