From 757d1075bb2e052dde6015b52de0edb55967053d Mon Sep 17 00:00:00 2001 From: Bram Moolenaar Date: Wed, 6 Feb 2013 12:33:21 +0100 Subject: [PATCH] Added tag v7-3-800 for changeset c0cc0e0620dd --- .hgtags | 1 + 1 file changed, 1 insertion(+) diff --git a/.hgtags b/.hgtags index e92dbe4ceb..085aeb3abe 100644 --- a/.hgtags +++ b/.hgtags @@ -2136,3 +2136,4 @@ fdbded463fdcc861630b3ea61b9654374847231a v7-3-793 0cbea05f19c73c01dbd0f04378a65ab7de6719e7 v7-3-797 cdaa688e3dddc442c1d39780b6ac0b5ac98c253e v7-3-798 5e9730de25e9b4fc2abe14b8d6b0968a9e59983a v7-3-799 +c0cc0e0620dd935956a472e5b23369d1d78f5fb9 v7-3-800