Completed
Push — master ( 1027d7...27adf1 )
by
unknown
24s queued 14s
created

No notable changes

There were no notable changes in the changeset which was inspected.

7.68
▶   ± 0
Head
Björn Ricks  
Merge pull request #172 from k-schlosser/corrections_python-gvm
1 more commit
Base
Björn Ricks  
Merge pull request #171 from k-schlosser/corrections_index