before being merged into the master version.
If you're more familiar with GitHub, you can of course use the standard fork / pull request model.
@dracos - almost 7 years ago
@dracos - almost 4 years ago
This PR was already merged.
@Floppy - almost 4 years ago
Yeah, sorry, we accidentally tagged a bunch of old PRs because my code is bad and I should feel bad :)
Sign in to comment and vote