Merge branch '5.1' into 5.2

Authored by brauch on Aug 17 2017, 7:30 PM.

Description

Merge branch '5.1' into 5.2

Details

Committed
brauchAug 17 2017, 7:30 PM
Parents
R32:1e1f1f6838f6: appimage script: fix copying of icons
R32:da932380b2c9: Merge branch '5.1'
Branches
Unknown
Tags
Unknown

Merged Changes

CommitAuthorDetailsCommitted
1e1f1f6838f6brauch
appimage script: fix copying of icons 
Aug 17 2017