<div dir="ltr"><span style="font-family:monospace"><span style="color:rgb(178,104,24)">Please cherry-pick </span></span><span style="font-family:monospace"><span style="color:rgb(178,104,24)">c09a22c421a57701f6b943eb50b9bae1545e5b39</span><br></span><span style="font-family:monospace"><span style="color:rgb(178,104,24)"> onto thud release branch.  (Note warrior already has this commit)</span><br></span><div><br></div><div>The fix should also be applied to sumo, if we&#39;re still making changes there.  (Any branch that includes <span style="color:rgb(178,104,24);font-family:monospace">b95b6ba1a2959e2294a8848fa35f20163388eb06)</span></div><div><br></div>-- <div>Thanks,<br><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"> - Gus</div></div></div>