<html><head>
<title></title>
<meta http-equiv="X-UA-Compatible" content="IE=edge">
</head>
<body>
<div style="border-color: rgb(238, 238, 238); color: rgb(44, 54, 58); font-family: Calibri; font-size: 16px; box-sizing: border-box; background-color: rgb(255, 255, 255);">
<div class="v1v1v1xiaoman_default_setting" style="border-color: rgb(238, 238, 238); font-family: Arial; font-size: 14px; box-sizing: border-box;">
<div style="border-color: rgb(238, 238, 238); box-sizing: border-box;"> <span style="border-color: rgb(238, 238, 238); box-sizing: border-box;"><span style='border-color: rgb(238, 238, 238); font-family: "times new roman", times; box-sizing: border-box;'>Dear pkg-boinc-devel<br><br><br>FYI</span></span></div>
</div>
</div>
<div style="border-color: rgb(238, 238, 238); color: rgb(44, 54, 58); font-family: Calibri; font-size: 16px; box-sizing: border-box; background-color: rgb(255, 255, 255);"> </div>
<div style="border-color: rgb(238, 238, 238); color: rgb(44, 54, 58); font-family: Calibri; font-size: 12pt; box-sizing: border-box; background-color: rgb(255, 255, 255);"><br style="border-color: rgb(238, 238, 238); box-sizing: border-box;">
<span style="border-color: rgb(238, 238, 238); font-size: 14px; box-sizing: border-box;">Kind regards,<br style="border-color: rgb(238, 238, 238); box-sizing: border-box;">
<br style="border-color: rgb(238, 238, 238); box-sizing: border-box;">
<br style="border-color: rgb(238, 238, 238); box-sizing: border-box;">
Judy Wan<br style="border-color: rgb(238, 238, 238); box-sizing: border-box;">
Ops. Assistant - All Trades<br style="border-color: rgb(238, 238, 238); box-sizing: border-box;">
Direct (021) 2603 6187</span></div>
</body></html>