Merge branch 'arcpatch-D27332'

Authored by cullmann on Feb 13 2020, 10:22 PM.

Description

Merge branch 'arcpatch-D27332'

Details

Merged Changes

CommitAuthorDetailsCommitted
6e2f32b931e3D27332cullmann
fix segfault at exit 
Feb 13 2020