Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Dev Merge to Master #5645

Merged
merged 14 commits into from
Sep 24, 2016
Merged

Dev Merge to Master #5645

merged 14 commits into from
Sep 24, 2016

Conversation

Gobberwart
Copy link
Contributor

Short Description:

I know we just did this, but the pgoapi fix is pretty critical for those using Google accounts.

Any objections?

DeXtroTip and others added 13 commits September 23, 2016 15:22
Fix merge conflicts
Fixed wrong api repo
Used to replace known "faulty" names with something we can recognise.
Starting with "mr-mine" -> "mr. mime", but can build on this as we find
more. Nidorans come to mind with unicode characters that should be "M"
or "F"
[Sniper] Extend support for different source formats
@mention-bot
Copy link

@Gobberwart, thanks for your PR! By analyzing the annotation information on this pull request, we identified @DBa2016, @javajohnHub and @YvesHenri to be potential reviewers

@Gobberwart
Copy link
Contributor Author

Merging this. No reason to delay.

@Gobberwart Gobberwart merged commit fd49544 into master Sep 24, 2016
@avexus avexus mentioned this pull request Sep 25, 2016
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.

4 participants