Passed
Push — master ( cecdce...c3fec0 )
by Michael
22:07 queued 04:45
created

Changes

Unfortunately, the changeset was too large and we could not compute changes, but only the current state.

What's next?

6.02
▶   ± 0
Commit
Michael Beck –
Merge pull request #1467 from mambax7/feature/2512