<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body>
<div dir="ltr" style="font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Hi Nadeesh, </div>
<div dir="ltr" style="font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Thank you. Feel free to open a PR. </div>
<div dir="ltr" style="font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div dir="ltr" style="font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Juan</div>
<div dir="ltr" style="font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div id="ms-outlook-mobile-signature" style="color: inherit; background-color: inherit;">
<p style="margin: 0cm; font-family: Aptos, sans-serif; font-size: 12pt;"> </p>
</div>
<div id="mail-editor-reference-message-container" style="color: inherit; background-color: inherit;">
<div dir="ltr" class="ms-outlook-mobile-reference-message skipProofing"></div>
<div class="ms-outlook-mobile-reference-message skipProofing" style="text-align: left; padding: 3pt 0in 0in; border-width: 1pt medium medium; border-style: solid none none; border-color: rgb(181, 196, 223) currentcolor currentcolor; font-family: Aptos; font-size: 12pt; color: black;">
<b>From: </b>nadeesh t v <nadeeshtv@gmail.com><br>
<b>Date: </b>Saturday, 29 November 2025 at 01:16<br>
<b>To: </b>Juan Jose Fumero Alfonso <juan.fumero@oracle.com><br>
<b>Cc: </b>babylon-dev@openjdk.org <babylon-dev@openjdk.org><br>
<b>Subject: </b>[External] : Re: Babylon building document correction<br>
<br>
</div>
<div dir="ltr" class="ms-outlook-mobile-reference-message skipProofing">Hello,</div>
<div dir="ltr" class="ms-outlook-mobile-reference-message skipProofing">Some minor corrections and improvements to the HAT building doc.</div>
<div dir="ltr" class="ms-outlook-mobile-reference-message skipProofing"><br>
</div>
<div dir="ltr" class="gmail_attr">On Fri, Nov 28, 2025 at 11:06 AM nadeesh t v <<a href="mailto:nadeeshtv@gmail.com" data-outlook-id="db6ca41b-9873-41dd-b85c-16137106ed6d">nadeeshtv@gmail.com</a>> wrote:</div>
<blockquote style="margin: 0px 0px 0px 0.8ex; padding-left: 1ex; border-left-width: 1px; border-left-style: solid; border-left-color: rgb(204, 204, 204);">
<div dir="ltr" class="gmail_quote">Thank you very much. </div>
<div dir="ltr" class="gmail_quote"><br>
</div>
<div dir="ltr" class="gmail_attr"><br>
</div>
</blockquote>
<div dir="ltr" class="ms-outlook-mobile-reference-message skipProofing"><br>
</div>
<div dir="ltr" class="ms-outlook-mobile-reference-message skipProofing"><br>
</div>
<div class="ms-outlook-mobile-reference-message skipProofing">--</div>
<div dir="ltr" class="gmail_signature">Thanks and Regards,<br>
Nadeesh TV</div>
<div dir="ltr" class="gmail_signature"><br>
</div>
<div dir="ltr" class="gmail_signature"><br>
</div>
</div>
</body>
</html>