Merge remote-tracking branch 'origin/5.0' into 5.1

Authored by antonanikin on Feb 17 2017, 8:04 AM.

Description

Merge remote-tracking branch 'origin/5.0' into 5.1

Merged Changes

CommitAuthorDetailsCommitted
ab0bbcba75aaD4642antonanikin
Don't open nonexistent documents from problems view + assertion fix 
Feb 17 2017
5ad012aa9e85D4641antonanikin
Assertion fix for ProblemModel 
Feb 17 2017