changeset 12203 | c615f945b38a |
parent 12200 | 457274b4e017 |
child 12215 | b9ffd3216187 |
--- a/.hgtags Mon Jul 10 11:43:18 2017 +0200 +++ b/.hgtags Tue Sep 12 09:49:30 2017 +0200 @@ -605,3 +605,6 @@ 5fe62978801a4ac19cb8764812226190db12bbd7 3.25.1 5fe62978801a4ac19cb8764812226190db12bbd7 debian/3.25.1-1 5fe62978801a4ac19cb8764812226190db12bbd7 centos/3.25.1-1 +5010381099f1227724261665f0843a60447991b2 3.25.2 +5010381099f1227724261665f0843a60447991b2 debian/3.25.2-1 +5010381099f1227724261665f0843a60447991b2 centos/3.25.2-1