{"head":"6fb4d89cf30c0d9dec768734904551d458bac51e","size":1,"push_id":44992136,"shas":[["6fb4d89cf30c0d9dec768734904551d458bac51e","17b9e1c64588c7fa6419b4d29dc1f4426279ba01@ummels.de","Small changes to documentation","Michael Ummels"]],"ref":"refs/heads/master"}