Hi all,
A number of fixes have been accumulated in the stable-0.12 branch, and
I think it's time to release a new stable version. I would like to see
that happening for the end of next week (around the 18th of April).
If you want to see some patches included, please send a mail to the
mailing list with the [STABLE] tag. I would clearly prefer patches that
are already in HEAD (if the patch can simply be cherry-picked, there is
no need to send a patch, just the commit number), though other patches
might be considered too.