On 13 Nov 2011, at 23:59, Stéphane Ducasse wrote: > do you know if we should merge with the latest version in 1.4?
Yes we should, the code is in a good state. I will make an issue because we should record the exact version that got integrated. Sven
On 13 Nov 2011, at 23:59, Stéphane Ducasse wrote: > do you know if we should merge with the latest version in 1.4?
Yes we should, the code is in a good state. I will make an issue because we should record the exact version that got integrated. Sven