--- a/.hgtags Thu Feb 16 21:34:49 2017 +0100
+++ b/.hgtags Thu Feb 16 21:35:19 2017 +0100
@@ -3,3 +3,4 @@
82dba990414922368af2c60e0e39798c4936bc24 0.9.2
43fe065e63b60b6dc28288c5a161883aa49b282b 0.9.3
857c95060313747032f9f062ee64b8f1016e45b3 0.9.4
+ef8a64173c96c73ad1c963981f5477381c11a72b 0.9.5