Changes between #15 and #20

#20 (Nov 14, 2020, 9:41:19 PM)

1. Fix small text bug in GlobalLocation#toString. (commit: 19f8f84) — jonas.becker / detail

#16 (Aug 2, 2019, 1:06:11 AM)

1. Better priorities for player join/quit (commit: 3be7959) — Brokkonaut / detail