.hgtags
changeset 10630 d82b531fecd9
parent 10393 fa4d59b88b29
child 10640 17bdc485c5b2
child 11117 e838a5bbfa64
--- a/.hgtags	Tue Oct 06 18:35:14 2015 +0200
+++ b/.hgtags	Tue Oct 06 18:59:01 2015 +0200
@@ -408,3 +408,6 @@
 5932de3d50bf023544c8f54b47898e4db35eac7c 3.19.12
 5932de3d50bf023544c8f54b47898e4db35eac7c debian/3.19.12-1
 5932de3d50bf023544c8f54b47898e4db35eac7c centos/3.19.12-1
+f933a38d7ab5fc6f2ad593fe1cf9985ce9d7e873 3.19.13
+f933a38d7ab5fc6f2ad593fe1cf9985ce9d7e873 debian/3.19.13-1
+f933a38d7ab5fc6f2ad593fe1cf9985ce9d7e873 centos/3.19.13-1