Merge pull request #8107 from reunanen:fix8093
authorAlexander Alekhin <alexander.a.alekhin@gmail.com>
Mon, 6 Feb 2017 10:31:34 +0000 (10:31 +0000)
committerAlexander Alekhin <alexander.a.alekhin@gmail.com>
Mon, 6 Feb 2017 10:31:34 +0000 (10:31 +0000)
commit48f7cbec75c29bd23bb88309eaae58625c6b89a1
tree5bfef3feeee627950b693aa23ce14ee5bbf6cdfa
parenta2fed4c790cafea5a00628c844ccd0a34c6479a6
parentf3cb5084cf1ede04a287766f539ab00162c0eb68
Merge pull request #8107 from reunanen:fix8093