Further tweaks re #10710

This commit is contained in:
Piotr Cychowski 2008-01-09 10:04:44 +00:00
parent 832dcc96b2
commit 1716be0dc1