{"head":"679c477d6763ac8ae20f0797435026fa72acf446","size":1,"push_id":46024252,"shas":[["679c477d6763ac8ae20f0797435026fa72acf446","a4a95becf3eaf1e87a1903378d83f2de158c2e8f@fi.muni.cz","XML saving and loading pushed out from Workspace","Tomáš Vejpustek"]],"ref":"refs/heads/master"}