# HG changeset patch
# User andrew
# Date 1596745144 -3600
# Node ID a702bd3d9db12178cfdd95e862659fe2e8d43e30
# Parent  5d0057342d179a08937a87e99b1a01047fea4cc6# Parent  e49b9bfd5f8691b7717ed72bc2f0ab344a870ee1
Merge

diff -r 5d0057342d17 -r a702bd3d9db1 .hgtags
--- a/.hgtags	Wed Jul 29 09:43:27 2020 +0200
+++ b/.hgtags	Thu Aug 06 21:19:04 2020 +0100
@@ -1088,3 +1088,4 @@
 2c87084c0b09c598674425475895bbf3da52e385 jdk8u265-b00
 985114dd4afc7fef23145fa33c7bbb835c1dfc3a jdk8u265-b01
 985114dd4afc7fef23145fa33c7bbb835c1dfc3a jdk8u265-ga
+c962b0325d3e46a3168d592d9be0d008db74d3a6 jdk8u272-b01