<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On 5 February 2014 13:27, Keith Walker <span dir="ltr"><<a href="mailto:kwalker@arm.com" target="_blank">kwalker@arm.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div lang="EN-GB" link="blue" vlink="purple"><p class="MsoNormal"><span style="color:rgb(31,73,125);font-family:Calibri,sans-serif;font-size:11pt">However this is maybe something that should be discussed separately from this patch.</span></p>
</div></blockquote><div></div></div><br></div><div class="gmail_extra">Yes. I think that, for now, the two-dash option should just be added. I'll send a patch to review in a minute.</div><div class="gmail_extra"><br></div>
<div class="gmail_extra">--renato</div></div>