I can include it in the release but I rather not make another RC, it takes an hour or so. Could you please test on your machine that the extra fix works as intended? Thanks!

P.S. I plan to make the release as soon as Michael says his fix works.

On Fri, Dec 12, 2014 at 8:08 PM, Mikhail Glushenkov <the.dead.shall.rise@gmail.com> wrote:

Hi Johan,

I pushed a very minor fix to 1.18/1.20. Would be nice to have it
included in the release.