Completed
Push — master ( 517e4f...0d0d38 )
by
unknown
02:47
created

Changes

Good job, 1 issue was fixed.
1 new patch (Spacing) is available.
9.37
▶   ± 0
Head
jenkins-bot  
Merge "Fix logic and documentation bugs in DumpMetaInformation"
1 more commit
Base
jenkins-bot  
Merge "Replace deprecated wfWaitForSlaves"