7.0.1
667f6842 · Update the gitlab CI configuration: coverage-badge -> genbadge. ·