Merge remote-tracking branch 'origin/5.1'

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

Description

Merge remote-tracking branch 'origin/5.1'

Merged Changes

CommitAuthorDetailsCommitted
83d62ba3d4cbantonanikin
Merge remote-tracking branch 'origin/5.0' into 5.1 
Feb 17 2017
ab0bbcba75aaD4642antonanikin
Don't open nonexistent documents from problems view + assertion fix 
Feb 17 2017
5ad012aa9e85D4641antonanikin
Assertion fix for ProblemModel 
Feb 17 2017
b7c15acecda3kfunk
grepview: Fix crash on exit with grep dialog open 
Feb 17 2017