Completed
Push — master-dev-kit ( 8d0d70...115d25 )
by Jordi Sala
18:35
created

No notable changes

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

8.51
▶   ± 0
Head
Jordi Sala Morales  
Fix tests
1 more commit
Base
Sullivan SENECHAL  
Applied fixes from FlintCI (#515)