On Thu, May 3, 2018 at 9:35 AM, Vlad Mihalcea <mihalcea.vlad(a)gmail.com>
wrote:
I think it's worth investigating the cause and see how we could
address it
in the next release.
Sure, something looks fishy there.
Will you do it or do you expect someone else to do it? It's not very clear
from your email.
--
Guillaume