Merge branch '5.2'

Authored by mwolff on Nov 18 2017, 6:34 PM.

Description

Merge branch '5.2'

Merged Changes

CommitAuthorDetailsCommitted
3036fee6e96fmwolff
Check dynamic_cast result before derefencing its value 
Nov 18 2017
bf690b1a09afbrauch
Set version number to 5.2.0 
Nov 5 2017
5ad9f0c2deeebrauch
Update version number to 5.1.80 
Sep 29 2017