Merge pull request #5148 from StevenPuttemans:fix_4237
authorAlexander Alekhin <alexander.alekhin@itseez.com>
Wed, 19 Aug 2015 13:28:48 +0000 (13:28 +0000)
committerAlexander Alekhin <alexander.alekhin@itseez.com>
Wed, 19 Aug 2015 13:28:48 +0000 (13:28 +0000)
commit76da19d54353784744377a22b1125f8579d15b7f
tree3a350a23c5109d469fe6937588719af4b09efc3f
parentca5e07d34287b8df3f2b7d0a0968fabe1a281bb1
parentbe89b0505a5bde6a9d3920bde320f1e9f4f32d10
Merge pull request #5148 from StevenPuttemans:fix_4237