On Wednesday, 20 February 2019 at 14:22:51 UTC, Andrea Fontana wrote: > Anyway I think it's still better to fix current behaviour and > waiting for a decision than leaving this leak open for who > knows how long... Yeah I guess you're right. Makes sense! Thanks :)