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

Fix some nullability things (#7275)

Browse source
This commit is contained in:
Jake Potrebic 2022-06-02 21:42:00 -07:00 • committed by GitHub
parent a3ad720749
commit 8fc0999b09
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
16 changed files with 45 additions and 31 deletions
Download patch file Download diff file Expand all files Collapse all files

2
patches/server/0139-Basic-PlayerProfile-API.patch
View file

@ -642,7 +642,7 @@ index b28f2e8fa2c62562cf87cf264e97b6d7c233297b..e6db5d649d01c4952dc5e3bf08f9ce15
CraftItemFactory.instance();
}
@@ -2574,5 +2578,37 @@ public final class CraftServer implements Server {
@@ -2580,5 +2584,37 @@ public final class CraftServer implements Server {
public boolean suggestPlayerNamesWhenNullTabCompletions() {
return com.destroystokyo.paper.PaperConfig.suggestPlayersWhenNullTabCompletions;
}