masarati@aero.polimi.it wrote:
The committed patch already contains this change. Please test and report.
Thanks, p.
Sorry, I have only limited and indirect access to CVS because it runs a port blocked by our proxies so I didn't notice how you carried out the change. Meanwhile I have tested the patch and everything looks fine.
Hope you reconsider the switch to git as it would (among other things) allow people like us to pull directly.
Thanks, Ondra
This e-mail and any attachment is for authorised use by the intended recipient(s) only. It may contain proprietary material, confidential information and/or be subject to legal privilege. It should not be copied, disclosed to, retained or used by, any other party. If you are not an intended recipient then please promptly delete this e-mail and any attachment and all copies and inform the sender. Thank you.