# HG changeset patch # User Raimund Renkert # Date 1400667178 -7200 # Node ID a3c5d31292dec91e5eaf88286a74b90bcdb7075a # Parent a5629043c6353c07b960962c7feb5b9a906eb668 Added tag 3.1.13 for changeset a5629043c635 diff -r a5629043c635 -r a3c5d31292de .hgtags --- a/.hgtags Fri May 16 18:51:10 2014 +0200 +++ b/.hgtags Wed May 21 12:12:58 2014 +0200 @@ -53,3 +53,4 @@ 8de8ee076ef7b3554e994cbe9d09e36da5f2248b 3.1.1 c5cc073332e7f0752eee2bf1f3749f583ce5d841 3.1.2 97cf15722ccd5a3c7f8628d1ec5dc81c81377807 3.1.3 +a5629043c6353c07b960962c7feb5b9a906eb668 3.1.13