On 2/12/2013 12:55 AM, kenji hara wrote:
> 2013/2/12 Walter Bright <walter@digitalmars.com <mailto:walter@digitalmars.com>>
>
>
>     On 2/11/2013 1:59 AM, kenji hara wrote:
>
>
>         After merging them in github website, you should forcely re-tagging
>         and push "v2.062-b1" tag to github remote repository.
>
>
>     I think I did it correctly.
>
>
> OK, it was correctly done.

Phew!