Skip to content

Fix the warning reported in #2440#2449

Merged
forki merged 2 commits intomasterfrom fix_2440_warningJun 20, 2017