Nassim Jahnke 038f8d915e Fixup and deprecate player profiles in ping event ... The player sample uses game profile internally, but discards everything but the name and uuid and does not follow player profile restrictions, so it doesn't make sense to use that in the event.		2024-06-14 18:17:26 +02:00
..
api	Fixup and deprecate player profiles in ping event	2024-06-14 18:17:26 +02:00
removed/1.21	788/1053	2024-06-13 18:30:23 -07:00
server	Fixup and deprecate player profiles in ping event	2024-06-14 18:17:26 +02:00
unapplied/server	Fix more compile issues	2024-06-14 14:28:06 +02:00