# HG changeset patch
# User andrew
# Date 1596745156 -3600
# Node ID cf78b728ecca3ddd206a7bdbd9deb74eca80cf40
# Parent  891522de716b73b8a2dde8fb73b994c6151ff475# Parent  aaf3f5ef88ec89fc6a4cd3e23cff90c7d5632f01
Merge

diff -r 891522de716b -r cf78b728ecca .hgtags
--- a/.hgtags	Wed Jul 29 09:44:40 2020 +0200
+++ b/.hgtags	Thu Aug 06 21:19:16 2020 +0100
@@ -1087,3 +1087,4 @@
 15fcd98e96ac6bd631816fc78c3fa271f164ca6c jdk8u265-b00
 124d863b2b5d0496d3f626f3426652871c950909 jdk8u265-b01
 124d863b2b5d0496d3f626f3426652871c950909 jdk8u265-ga
+ab242949177cbfcd698b3c9792d308f32ebec67f jdk8u272-b01