{"shas":[["4b07c27e185a8e8b0f1d98a30c7d7bc7bb3cb644","248902131a732628aef6e2872827db10df7c07bf@abma.de","(doxygen) use umask instead of chmod -R","abma"]],"ref":"refs/heads/master","size":1,"head":"4b07c27e185a8e8b0f1d98a30c7d7bc7bb3cb644","push_id":36316804}