Re: name conflicts

[Lars Heuer]

Hi Jerome,

> Here is a list of potential conflicts:
[...]
> IMHO, we should just try to live with this. It is for example not very
[...]

+1

Best regards,
Lars
-- 
http://www.semagia.com