<html>
<head>
<meta content="text/html; charset=UTF-8" http-equiv="Content-Type">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<br>
<div class="moz-cite-prefix">On 2/12/2013 12:55 AM, kenji hara
wrote:<br>
</div>
<blockquote
cite="mid:CAFDvkcuPY-o02Hiro6d5ZBQB30JTLYxBZREty7z1Audb5oO0_Q@mail.gmail.com"
type="cite">
<div dir="ltr">
<div class="gmail_extra">
<div class="gmail_quote">2013/2/12 Walter Bright <span
dir="ltr"><<a moz-do-not-send="true"
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.<br>
</div>
</div>
</div>
</blockquote>
<br>
Phew!<br>
</body>
</html>