--- a/.hgtags	Thu Jul 12 15:02:41 2018 -0700
+++ b/.hgtags	Sat Jul 14 02:14:54 2018 +0200
@@ -495,4 +495,5 @@
 9816d7cc655e53ba081f938b656e31971b8f097a jdk-11+20
 14708e1acdc3974f4539027cbbcfa6d69f83cf51 jdk-11+21
 00b16d0457e43d23f6ca5ade6b243edce62750a0 jdk-12+1
+9937ef7499dcd7673714517fd5e450410c14ba4e jdk-11+22
 69b438908512d3dfef5852c6a843a5778333a309 jdk-12+2