{"shas":[["535974f4bf291c543460a5201f82d7aeb36912d2","5230214f804b63331bca76a7cb1c1ab2b3de67db@moon.local","Fix: TableView header not refreshed when columns changed.","Tobias Cohen"]],"repo":"tobico/SeaTurtle","actor":"tobico","ref":"refs/heads/coffee","size":1,"head":"535974f4bf291c543460a5201f82d7aeb36912d2","actor_gravatar":"435492f211c16769668457fde25bbc0f","push_id":31835907}