rc21 - again, from the branch this time 4.2-rc21
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Mon, 1 Sep 2008 14:23:32 +0000 (14:23 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Mon, 1 Sep 2008 14:23:32 +0000 (14:23 +0000)

Trivial merge