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. _______________________________________________ dmd-internals mailing list [email protected] http://lists.puremagic.com/mailman/listinfo/dmd-internals
