Closed krlmlr closed 10 years ago
Thanks! Merged into develop
Thanks. I wasn't aware of your "develop" branch -- there's a setting in GitHub for the "default branch" of a repo, I think that's the one against which pull requests will be created by default. However, this is also the branch that will be shown by default. I'm not sure what's the best solution here.
Fix URL