Completed
Pull Request — master (#50)
by Maximilian
303:04 queued 238:10
created

No notable changes

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

8.9
▶   ± 0
Head
Maximilian Berghoff  
Merge e2c3e803d2d17322093f15d227fe42957e144392 into 3ea825264548ca650faab8859342c32ca97cf471
1 more commit
Base
Maximilian Berghoff  
Applied fixes from FlintCI (#44)