--- a/.hgtags	Sat Oct 26 23:59:51 2019 +0200
+++ b/.hgtags	Mon Oct 28 18:43:04 2019 +0100
@@ -591,3 +591,5 @@
 d29f0181ba424a95d881aba5eabf2e393abcc70f jdk-14+16
 5c83830390baafb76a1fbe33443c57620bd45fb9 jdk-14+17
 e84d8379815ba0d3e50fb096d28c25894cb50b8c jdk-14+18
+9b67dd88a9313e982ec5f710a7747161bc8f0c23 jdk-14+19
+54ffb15c48399dd59922ee22bb592d815307e77c jdk-14+20