<div dir="ltr"><div class="gmail_quote"><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><div><div><br>
</div></div>Maybe next time just naming the branch merkaartor-0.12 will avoid this?<br>
</blockquote></div><br>But then, it could be interpreted as being a tag, i.e. non evolutive.<br>Agreed, I was not clear in the announcement, but it's a convention we'd probably better keep.<br></div>