<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">2013/2/12 Walter Bright <span dir="ltr"><<a href="mailto:walter@digitalmars.com" target="_blank">walter@digitalmars.com</a>></span><br><blockquote class="gmail_quote" style="margin-top:0px;margin-right:0px;margin-bottom:0px;margin-left:0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">
<div class="im"><br>
On 2/11/2013 1:59 AM, kenji hara wrote:<br>
</div><div class="im"><blockquote class="gmail_quote" style="margin-top:0px;margin-right:0px;margin-bottom:0px;margin-left:0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">

<br>
After merging them in github website, you should forcely re-tagging and push "v2.062-b1" tag to github remote repository.<br>
<br>
</blockquote>
<br></div>
I think I did it correctly.</blockquote><div><br></div>OK, it was correctly done.<div><br></div><div><a href="https://github.com/D-Programming-Language/dmd/commits/v2.062-b1~0">https://github.com/D-Programming-Language/dmd/commits/v2.062-b1</a><br>
</div><div><a href="https://github.com/D-Programming-Language/druntime/commits/v2.062-b1">https://github.com/D-Programming-Language/druntime/commits/v2.062-b1</a> <br></div><div><a href="https://github.com/D-Programming-Language/phobos/commits/v2.062-b1">https://github.com/D-Programming-Language/phobos/commits/v2.062-b1</a> <br>
</div><div><br></div><div>Thanks!</div><div><br></div><div>Kenji Hara </div></div></div></div>