Paolo Mantegazza wrote:
...
So magma is of no use for anybody now, but people thingking to 3.3. The
official CVS for 3.2 is "vesuvio" now. Philippe has set it up according
to adhere to his published RTAI development scheme. I cannot just
apologise for my careless.
Ehem, please say that 3.2 is called "vulcano" now - otherwise I would go
mad with that damn names! Sorry, this confusion just proves again to me
that numbers would be much easier to handle, even more when names are so
similar as "vesuvio" and "vulcano"...
Jan
