From 56f4a44f239452a0bcfebf8caff91ccc37a3a693 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?C=C3=A9dric=20Krier?= Date: Mon, 6 May 2019 15:11:34 +0200 Subject: [PATCH] Added tag 5.2.0 for changeset 1256de2cad83 --- .hgtags | 1 + 1 file changed, 1 insertion(+) diff --git a/.hgtags b/.hgtags index b98d9075b2..e4c3772e0c 100644 --- a/.hgtags +++ b/.hgtags @@ -16,3 +16,4 @@ e632dd78214b52c0dc93f2471cdd624d9556517b 4.2.0 11a9ed7c950aee7e9f311ea7d04a4878c06a0257 4.6.0 f8c109894b1eff1d3b39e8182239553776fab26f 4.8.0 5888934279521ac12caf69431fa5385380fde816 5.0.0 +1256de2cad83864e82fb1b0bf52c63f7a6338187 5.2.0