.hgtags
changeset 11121 79b124ec1157
parent 11118 0c645f09d96a
child 11122 fedcb69982af
child 11223 d4d36b583f40
--- a/.hgtags	Tue Feb 16 17:54:17 2016 +0100
+++ b/.hgtags	Tue Feb 16 18:17:35 2016 +0100
@@ -514,3 +514,6 @@
 03e8fc9f79a6e489a1b5c695eb0cd3fbb1afe9d4 3.20.12
 03e8fc9f79a6e489a1b5c695eb0cd3fbb1afe9d4 debian/3.20.12-1
 03e8fc9f79a6e489a1b5c695eb0cd3fbb1afe9d4 centos/3.20.12-1
+8c5dabbcd4d9505c3a617f9dbe2b10172bdc2b3a 3.20.13
+8c5dabbcd4d9505c3a617f9dbe2b10172bdc2b3a debian/3.20.13-1
+8c5dabbcd4d9505c3a617f9dbe2b10172bdc2b3a centos/3.20.13-1