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.

Sign up for GitHub

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

Already on GitHub? Sign in to your account

Jump to bottom

[RFC] [WIP] Internal Sharding #1501

Closed
wants to merge 2 commits into from
Closed

[RFC] [WIP] Internal Sharding #1501

wants to merge 2 commits into from

Conversation

devsnek
Copy link
Member

@devsnek devsnek commented May 17, 2017

Please describe the changes this PR makes and why it should be merged:
do i even need a reason 馃憖

Semantic versioning classification:

  • This PR changes the library's interface (methods or parameters added)
    • This PR includes breaking changes (methods removed or renamed, parameters moved or removed)
  • This PR only includes non-code changes, like changes to documentation, README, etc.

@devsnek devsnek changed the title [WIP] v12.0.0 INTERNAL SHARDING [RFC] [WIP] Internal Sharding May 18, 2017
@devsnek devsnek mentioned this pull request Jun 6, 2017
Closed
@appellation appellation mentioned this pull request Jun 7, 2017
Closed
@devsnek devsnek closed this Jun 9, 2017
@devsnek devsnek deleted the v12-sharding branch June 9, 2017 15:03
@devsnek
Copy link
Member Author

devsnek commented Jun 9, 2017

handled by #1578 now

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@devsnek @iCrawl