Not a big thing
Merge remote-tracking branch 'origin/master' into weekly
Failed Formating

Fixed /level on a different player
Git is this ok for you?
Merge branch 'dev' into weekly
Merge branch 'weekly'
Git is this ok for you?

Signed-off-by: Crosant <florian@reichmuth.de>