Merge pull request #6245 from delftswa2016:fix-for-issue-4375
authorAlexander Alekhin <alexander.alekhin@itseez.com>
Mon, 14 Mar 2016 11:26:33 +0000 (11:26 +0000)
committerAlexander Alekhin <alexander.alekhin@itseez.com>
Mon, 14 Mar 2016 11:26:33 +0000 (11:26 +0000)
commit9d49cef29e824261ff68b68a7ca65966f0a9e6a7
tree3c2128daa25388aabcce4415b3b3a5929bbe6f91
parent93c4dfb16d6a40ff56964ae10fba4548eb4abbcf
parent1fbc6ab05dfa7322f792b281902925c9aeb6cb99
Merge pull request #6245 from delftswa2016:fix-for-issue-4375