Completed
Push — master ( 181982...01c7e7 )
by Michael
18s queued 11s
created
7.5
▶   ± 0
Head
Michael Wiegand  
Merge pull request #129 from Kars-de-Jong/add-details-option-to-get-reports
3 more commits
Base
Björn Ricks  
Merge pull request #127 from wiegandm/modify_tag_gmp8