View GitHub Repository server

Schedule Inspection
Subscribe
Completed
Pull Request — master (#3233)
by Christoph
20:30 queued 07:45
created

Changes

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

What's next?

6.95
▶   ± 0