{"shas":[["6835c1a82fd619423f8fb310a47348e1a43eff09","a3d89ff4d0bcce7c1938c769d1beac6ada62bcb1@iwr.uni-heidelberg.de","correctly update layer name if label name has changed\n\nBefore, this did not work if the layer in question was selected.\n\nTogether with the previous changes, this fixes #73","Thorben Kroeger"]],"ref":"refs/heads/master","size":1,"head":"6835c1a82fd619423f8fb310a47348e1a43eff09","push_id":40951358}