{"shas":[["e696ea790c002dc7b6b9eccd2ab52cbc64233d53","8166fc4b0531238cd6dd85b5b517e0a452b73ae3","Fix updating the region name in the Region Manager GUI and sending updates to the clients so that they see the region name change as well.","RevolutionSmythe"]],"ref":"refs/heads/master","size":1,"head":"e696ea790c002dc7b6b9eccd2ab52cbc64233d53","push_id":38778939}