Skip to content

Conversation

@Pomax
Copy link
Contributor

@Pomax Pomax commented Feb 19, 2016

Just for user convenience, really.

Just for user convenience, really.
@pkra
Copy link
Contributor

pkra commented Feb 19, 2016

Thanks! Closing this only because PRs must got to the develop branch.

Also, I'm wondering if it shouldn't point to GitHub instead of mathjax.org.

@pkra pkra closed this Feb 19, 2016
@Pomax
Copy link
Contributor Author

Pomax commented Feb 19, 2016

oh weird. I just formed this as a PR through github itself, apparently it picked master as main branch rather than dev. Easy enough to refile correctly, with the github link instead.

@Pomax
Copy link
Contributor Author

Pomax commented Feb 19, 2016

refiled as #178

@pkra
Copy link
Contributor

pkra commented Feb 22, 2016

Thanks!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants