Completed
Push — master ( d0939e...7709e4 )
by Peter
36s
created

No notable changes

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

8.44
▶   ± 0
Head
Peter Tröger  
Merge branch 'master' of github.com:troeger/opensubmit
4 more commits
Base
Peter Tröger  
More badges.