changeset 63:47b46f51aa5a

Added tag version-12 for changeset b1d22243ef1f
author Guido Berhoerster <guido+feed-preview@berhoerster.name>
date Tue, 17 Nov 2020 15:31:50 +0100
parents b1d22243ef1f
children 46c0595f2dcc
files .hgtags
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/.hgtags	Tue Nov 17 15:31:04 2020 +0100
+++ b/.hgtags	Tue Nov 17 15:31:50 2020 +0100
@@ -9,3 +9,4 @@
 6bdf862c6b2ad877a9b1610d0519dbd04b1b7f4a version-9
 ca6140f82dc8f744ecd29e1325fd1e27a05dfaa7 version-10
 1ba6df18301e498ceef56ee2def89c1d94807ea7 version-11
+b1d22243ef1f7f6a3946217a07dec52540c168e0 version-12