Passed
Push — master ( 7ca8cd...fd58f7 )
by
unknown
11:41 queued 14s
created

No notable changes

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

5.11
▶   ± 0
Head
Nicolas Ducoulombier  
Merge pull request #6131 from christianbeeznest/fixes-updates72
1 more commit
Base
Yannick Warnier  
AI: Fix typo in previous commit - refs #6044