{"shas":[["a6bb77dd776641f40c0b8ebaf9d8d0ff19aa4239","9517dedff76d4b6de715dd5aec4017980412c83f@tum.de","bugfix: map filled with sea color if there is no shoreline and at least one island","Johannes Schönberger"]],"ref":"refs/heads/master","size":1,"head":"a6bb77dd776641f40c0b8ebaf9d8d0ff19aa4239","push_id":41136770}