{"shas":[["4ce2661a5d19c92c9cdc1e5bdf3f286be2beca08","9c6450bbb5dc3209f15f8bb98630c23e1d8365d1@nikai.net","remove duplicated check for no planets in player_land()\n\nThis check was already done a few lines above.\n\nSigned-off-by: Nicolas Kaiser <nikai@nikai.net>","Nicolas Kaiser"]],"ref":"refs/heads/trivial","size":1,"head":"4ce2661a5d19c92c9cdc1e5bdf3f286be2beca08","push_id":34498465}