Merge branch 'master' of ssh://git.onelab.eu/git/myplc
Thierry Parmentelat [Wed, 23 Mar 2011 08:11:05 +0000 (09:11 +0100)]

Trivial merge