There is no need to report issues here, we do read github bug reports. It's not 
a known problem, I think.

Reply via email to