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

*nearly* polish off net.minecraft.server #454

Merged
merged 11 commits into from
Jul 1, 2023
Merged

Conversation

ix0rai
Copy link
Member

@ix0rai ix0rai commented Jun 26, 2023

mostly completes minecraft's server package, and maps a bunch of stuff used by it. all deletions are fixing incorrect names.

@ix0rai ix0rai added t: new adds new mappings v: release targets a release version of minecraft reviews needed please review this PR s: medium PRs with less than 700 lines and more than 200 labels Jun 26, 2023
@ix0rai ix0rai added final-comment-period is approved and will soon be merged if no issues are raised and removed reviews needed please review this PR labels Jun 29, 2023
@ix0rai ix0rai merged commit 83b3b24 into QuiltMC:1.20.1 Jul 1, 2023
@ix0rai ix0rai deleted the server branch July 1, 2023 17:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
final-comment-period is approved and will soon be merged if no issues are raised s: medium PRs with less than 700 lines and more than 200 t: new adds new mappings v: release targets a release version of minecraft
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants