On Thu, Jan 4, 2018 at 2:34 PM, Tomaž Cerar <tomaz.cerar@gmail.com> wrote:

Ah yeah, sorry, didn't check before resending the email. It's fixed now.

--
Guillaume