Inspections

Merge pull request #3 from dmaechler/4.0

4.0 . 49bc51...e952f5 . push triggered

  No notable changes.
03:31
created
Merge pull request #2 from dmaechler/4.0

4.0 . 77d7ac...1243ad . push triggered

  Inspection was canceled.
502:22
created
4.0

4.0 . 77d7ac . manually triggered

  Inspection was canceled.
521:15
created