On Sun, Feb 5, 2017 at 6:53 PM, Pavel Stehule <pavel(dot)stehule(at)gmail(dot)com> wrote:
> I agree with Pavan - a release with known important bug is not good idea.
This bug has been around for some time, so I would recommend taking
the time necessary to make the best fix possible, even if it means
waiting for the next round of minor releases.
--
Michael