# HG changeset patch
# User andrew
# Date 1596745148 -3600
# Node ID 7aeb5d972262795d232457bc11ca543643c54af3
# Parent  ea5a0882d7471636e1ec1a0ba530b9f586397c5d# Parent  f80fd05ef28ec73a1e77ca20f1e7de98b480d6dc
Merge

diff -r ea5a0882d747 -r 7aeb5d972262 .hgtags
--- a/.hgtags	Wed Jul 29 09:44:57 2020 +0200
+++ b/.hgtags	Thu Aug 06 21:19:08 2020 +0100
@@ -1046,3 +1046,4 @@
 7347ed2df76baff282a0a890724fb66e84291b0e jdk8u265-b00
 94d6ff459027c2bda81ac79b6e0286c2f23c8146 jdk8u265-b01
 94d6ff459027c2bda81ac79b6e0286c2f23c8146 jdk8u265-ga
+38d13ac335fe2f1f2d9c8dd6607fc3973824a4e7 jdk8u272-b01