Merge remote-tracking branch 'origin/5.0'

Authored by antonanikin on Nov 2 2016, 2:27 AM.

Description

Merge remote-tracking branch 'origin/5.0'

Merged Changes

CommitAuthorDetailsCommitted
6cf05bdad48fantonanikin
Small fix in findProblemCloseToCursor 
Nov 2 2016