Merge remote-tracking branch 'origin/Applications/19.08'

Authored by dfaure on Sep 28 2019, 11:56 AM.

Description

Merge remote-tracking branch 'origin/Applications/19.08'

Merged Changes

CommitAuthorDetailsCommitted
0048b754fe44dfaure
Fix unwanted removal of /* before emacs mode line, which broke compilation 
Sep 28 2019