Skip to content

Fix Debian distribution name mix up.

Choose a tag to compare

@robertdebock robertdebock released this 22 Aug 12:02
· 91 commits to master since this release
6.1.8

Fix for mixed up Debian release names.