[Gmp-commit] /var/hg/gmp-5.1: Added tag rel-5.1.3 for changeset 82ee407393ee

[mercurial at gmplib.org]

details:   /var/hg/gmp-5.1/rev/d26534f91b58
changeset: 15446:d26534f91b58
user:      Torbjorn Granlund <tege at gmplib.org>
date:      Tue Oct 01 16:54:18 2013 +0200
description:
Added tag rel-5.1.3 for changeset 82ee407393ee

diffstat:

 .hgtags |  1 +
 1 files changed, 1 insertions(+), 0 deletions(-)

diffs (8 lines):

diff -r 82ee407393ee -r d26534f91b58 .hgtags
--- a/.hgtags	Sun Sep 29 23:56:17 2013 +0200
+++ b/.hgtags	Tue Oct 01 16:54:18 2013 +0200
@@ -11,3 +11,4 @@
 3da36b326561f0a99cca688fa7910889b830a8fb gmp-4_3_0
 4b14ab8c899a5edd7be6bf0f1a9a04aef8958825 rel-5.1.0
 e10ffb0afa6b6728f59cf90dd1584cdd00fe4a3a rel-5.1.1
+82ee407393ee4757b8460dc6ebff1fda672df450 rel-5.1.3