# HG changeset patch
# User andrew
# Date 1596745150 -3600
# Node ID 54f67143c9566104641b6c69ce33f541d0f5f350
# Parent  386a7083c3b1a3fb29b4e29be58190820c778369# Parent  45fb59535711b39628436c77a3b055c8231a3a42
Merge

diff -r 386a7083c3b1 -r 54f67143c956 .hgtags
--- a/.hgtags	Wed Jul 29 09:44:20 2020 +0200
+++ b/.hgtags	Thu Aug 06 21:19:10 2020 +0100
@@ -1053,3 +1053,4 @@
 fd4d3f8b2c2de81cac967f56ec69f82a7c6b0e9d jdk8u265-b00
 e0342245812afc794e3537380c7025683424d07e jdk8u265-b01
 e0342245812afc794e3537380c7025683424d07e jdk8u265-ga
+a51cd1abb0c93552857885b1ba53592c786714d2 jdk8u272-b01