{"shas":[["4567fef58b0fe4ca0f4c994083b0f071bda4ba11","cdfeca3c85e33dacbdca89cceff5304ba062cec5@gmx.de","TableWidget can now be configured using an Option instance.","Stefan Bradl"]],"ref":"refs/heads/master","size":1,"head":"4567fef58b0fe4ca0f4c994083b0f071bda4ba11","push_id":34930821}