Checkout
Uwe Schindler
committed
on 10 Sep 14
Revert 1624096: The check is already done by precommit, I missed this!