{"shas":[["8f1c6424513a30c65eece8ed32bca891923ee601","20c53220165fb0650d905d294f7975c636eb28c7@googlemail.com","basic reimplementation of region detection working ... no coasts yet though","themole"]],"ref":"refs/heads/regionlayer_redesign","size":1,"head":"8f1c6424513a30c65eece8ed32bca891923ee601","push_id":33459712}