Merge branch 'maint' into master

Handle conflict between version number reset and lowercasing all commands
This commit is contained in:
Geert Janssens
2018-05-04 10:25:38 +02:00
168 changed files with 3684 additions and 2566 deletions

File diff suppressed because it is too large Load Diff