Richard Heck wrote: > Do you want to commit that patch to branch? I can then cherry pick it to > the 2.0.7 tag, I think. > > I guess there's a general question, too, whether we should release a > 2.0.7.1 package. JMarc, others, do you have a view?
I would release the thing as 2.0.7.1. You don't need to provide Windows installers for this. Regards, Jürgen
