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.