Merge branch 'release/19.12'

Authored by kossebau on Jan 23 2020, 11:32 AM.

Description

Merge branch 'release/19.12'

Merged Changes

CommitAuthorDetailsCommitted
c5840220d9cckossebau
Add support for K_DOXYGEN to old API docs generation scripts 
Jan 23 2020
229c13206b72Michael Jansen/dfaure
Add my relicensing agreements (mjansen) 
Jan 11 2020