Nassim Jahnke 1aee096320 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:14:55 +02:00
..
api	Fixup and deprecate player profiles in ping event	2024-06-14 18:14:55 +02:00
server	Fixup and deprecate player profiles in ping event	2024-06-14 18:14:55 +02:00
unapplied/server	Fix more compile issues	2024-06-14 14:28:06 +02:00