# HG changeset patch
# User andrew
# Date 1555448360 -3600
# Node ID c52bf8887eb0896346f0873251625ae8ad0dd00a
# Parent  c2637bef84bf37546b2843cc3e02b8998446f7d5
Added tag jdk8u212-ga for changeset 5218ef8ea6c3

diff -r c2637bef84bf -r c52bf8887eb0 .hgtags
--- a/.hgtags	Wed Apr 10 17:33:58 2019 +0100
+++ b/.hgtags	Tue Apr 16 21:59:20 2019 +0100
@@ -954,3 +954,4 @@
 7480582c7fdcfc86b5541a1887289a8416ef7f7d jdk8u212-b02
 5218ef8ea6c355b5f3294a21675dfb6d372c02f4 jdk8u212-b03
 d43cf567cf721406472abc52d12980a25b886577 jdk8u212-b04
+5218ef8ea6c355b5f3294a21675dfb6d372c02f4 jdk8u212-ga