Release 17.5

Release 17.4

Link to changes from NEWS

Merge pull request #1722 from unhammer/tags-no-message-on-fail

Don't message "Tags generated" if tags command exited non-zero

Merge pull request #1722 from unhammer/tags-no-message-on-fail

Don't message "Tags generated" if tags command exited non-zero

Update version info 17.1

Update version info 16.1

Update version info 13.20.1

Update version info 13.20

Update version info XX.YY