<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<style type="text/css" style="display:none"><!-- p { margin-top: 0px; margin-bottom: 0px; }--></style>
</head>
<body dir="ltr" style="font-size:12pt;color:#000000;background-color:#FFFFFF;font-family:Calibri,Arial,Helvetica,sans-serif;">
<p>><span style="color: rgb(33, 33, 33); font-size: 12pt;">Craig is no longer working at Google, so his email address is invalid.</span></p>
<div style="color: rgb(33, 33, 33);">
<div>
<div dir="ltr">
<div>> </div>
<div>>George, if you want to work on compressed debug section, you may want to create another patch to read (instead of create) compressed sections.There's obvious need for that.</div>
</div>
<div class="gmail_extra"><br>
</div>
<div class="gmail_extra">Ok, let me try to do that then.<br>
</div>
<div class="gmail_extra"><br>
</div>
<div class="gmail_extra">George.<br>
</div>
</div>
</div>
</body>
</html>