Merge branch '0.25'

Authored by kossebau on Jul 13 2018, 12:16 PM.

Description

Merge branch '0.25'

Merged Changes

CommitAuthorDetailsCommitted
ad22a5f5a15fkossebau
Do SafeReferenceHolder destruction printf log only in debug builds 
Jul 13 2018