Merge branch '5.1'

Authored by mwolff on Feb 21 2017, 11:00 PM.

Description

Merge branch '5.1'

Merged Changes

CommitAuthorDetailsCommitted
2d04564d564cmwolff
HTML-escape diagnostic description before showing it in a tooltip 
Feb 21 2017