Completed
Pull Request — master (#17)
by Jerome
04:49
created

No notable changes

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

9.07
▶   ± 0
Head
Jerome Bergmann  
Merge 7e41b21dcc75db7b1d1cac8401bb18ee6f814a8a into 0414957c58875a93e1b91cf7636e043e7b954949
1 more commit
Base
bergmann  
Disable GUI coverage due lack of testing possibilities