diff -r dc5379ac792d -r 23d363b81ac3 .hgtags
--- a/.hgtags	Sat Nov 12 00:48:32 2016 +0200
+++ b/.hgtags	Sat Nov 12 00:48:51 2016 +0200
@@ -16,3 +16,4 @@
 6a32a94eeab252553a736b3582e23296ba1c19df v0.7
 4ce3ced9057ed1d1f92df2f2270591c3aef94b4d v0.7
 6728ffd79d0c4518d60c99762f5455feba94c88f v0.8
+dc5379ac792d8f16eb34a5009b66a8f1d3f64ad4 v0.9