Felipe Contreras <felipe.contreras@gmail.com> writes: > Since I've seen no better alternatives to fix the problem, I've > reverted the patch and pushed to 'master'. Would be nice to pick it > for 'release'. If I don't hear any objections over the weekend, I'll cherry-pick it on monday, for a planned tuesday release of 0.13.1 Could you write a short announcement for NEWS? ideally as a patch against release:NEWS d