Merge branch '5.3'

Authored by kossebau on Jul 12 2019, 5:13 PM.

Description

Merge branch '5.3'

Merged Changes

CommitAuthorDetailsCommitted
1a68e1e97bdbkossebau
appimage: bump versions of dependencies to newer, update howto 
Jul 11 2019
efb70121bf0ekossebau
shell: overwrite katectagsplugin to be disabled by default 
Jul 10 2019
bee988a1b680pprkut/kossebau
Translate relative paths of input files to absolute ones 
Jul 9 2019