Merge commit 'origin/master' into hruid
[platal.git] / upgrade / 0.9.7 /
2005-07-18 x2000habouzitfirst reimport from platal