Merge branch 'release/19.12'

Authored by dfaure on Dec 14 2019, 10:50 AM.

Description

Merge branch 'release/19.12'

Merged Changes

CommitAuthorDetailsCommitted
40160970f263dfaure
Record David Edmundson's "Sure, relicense whatever" reply :-) 
Dec 14 2019