Merge branch 'Applications/19.04'

Authored by vpinon on May 14 2019, 9:29 PM.

Description

Merge branch 'Applications/19.04'

Merged Changes

CommitAuthorDetailsCommitted
72792d492f57vpinon
Allow building on Ubuntu LTS & derivatives 
May 14 2019
09877c3d722bmardelle
Fix context menu "edit guide" leaving empty space in menu Fix ruler menu eating… 
May 13 2019
b1911119969dalcinos
fix fuzzer compilation 
May 12 2019