Hi to all,
for me it's the same: leave as is, or change the name to avoid
confusion (I'd like this a little more) ... but for new names please
don't ask to me :-) .

But in any case it would be better to do it before the 1.3 release, or
we should wait for the next major release.

Sandro

Reply via email to