Merge branch '5.1'

Authored by brauch on May 29 2017, 6:13 PM.

Description

Merge branch '5.1'

Merged Changes

CommitAuthorDetailsCommitted
b810eee06655kfunk
appimage: Build with RelWithDebInfo 
May 29 2017