mirrors/papermc
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages 1 Wiki Activity Actions

[ci skip] Add more identifying patch comments

Browse source
This commit is contained in:
Nassim Jahnke 2024-01-18 18:52:00 +01:00
parent 5e73c555bc
commit 3e20d3a275
No known key found for this signature in database
GPG key ID: EF6771C01F6EF02F
127 changed files with 355 additions and 355 deletions
Download patch file Download diff file Expand all files Collapse all files

2
patches/server/0971-Add-Listing-API-for-Player.patch
View file

@ -74,7 +74,7 @@ index d43106eb89b14667e85cd6e8fa047d64f2e8ec87..56eddd28429cf42c02d88b8bf79f8b61
static class EntryBuilder {
diff --git a/src/main/java/net/minecraft/server/players/PlayerList.java b/src/main/java/net/minecraft/server/players/PlayerList.java
index 80777d7fb68b8eac7c00df256ba614772163f49f..ed11fec21b0c3a60fe8c14e699eb3a3823044d66 100644
index 7c054f3b431171a296549bc2aa597df819fd3457..be474729d41b37968b53b84eb87ac96a4d7d46a4 100644
--- a/src/main/java/net/minecraft/server/players/PlayerList.java
+++ b/src/main/java/net/minecraft/server/players/PlayerList.java
@@ -356,14 +356,22 @@ public abstract class PlayerList {