Merge remote-tracking branch 'origin/release/19.12'

Authored by mlaurent on Nov 29 2019, 7:47 AM.

Description

Merge remote-tracking branch 'origin/release/19.12'

Merged Changes

CommitAuthorDetailsCommitted
255024017c53mlaurent
Remove unused includes 
Nov 29 2019