{"shas":[["173a71f7122d147a6cfffaf2bc4d0e554dab894a","d9e4400815e26cd6dc1429d7868198588ed9ee8e@live.de","disabled builtin STL support","Carsten"]],"ref":"refs/heads/master","size":1,"head":"173a71f7122d147a6cfffaf2bc4d0e554dab894a","push_id":39929320}