Skip to content

fixes for checker issues

Joerg Lohse requested to merge (removed):master into master

These changes should address the remaining krazy issues.

Merge request reports