<div dir="ltr">On 13 June 2013 15:21, Amaury de la Vieuville <span dir="ltr"><<a href="mailto:Amaury.delaVieuville@arm.com" target="_blank">Amaury.delaVieuville@arm.com</a>></span> wrote:<br><div class="gmail_extra">
<div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im"><span style="color:rgb(34,34,34)">Correction, my last patch is wrong, the encoding I was trying to fix is #-0 not LONG_MIN.</span><br>
</div>
The attached patch correctly handles the encoding of #-0 in the printer.<br></blockquote><div></div></div><br></div><div class="gmail_extra" style>It does look safer this way. I'm assuming all tests pass, including yours... ;)</div>
<div class="gmail_extra" style><br></div><div class="gmail_extra" style>--renato</div></div>