July 4, 2011
12:33 p.m.
On Jul 4, 2011, at 2:29 PM, Damien Cassou wrote:
On Mon, Jul 4, 2011 at 10:42 AM, Marcus Denker <marcus.denker@inria.fr> wrote:
I vote to not delay...
I agree. We will release a 1.3.1 when these get fixed
No, we will fix it but not change the version number... there will be just one eternal 1.3 stream of stable fixes. The version numner is the update number (1.3.281, in a way) -- Marcus Denker -- http://www.marcusdenker.de INRIA Lille -- Nord Europe. Team RMoD.