On Monday, 22 October 2018 at 02:47:12 UTC, Radu wrote: > [Tried to report it with github issue but it doesn't work, > can't see the bug after I submitted] > > [...] Got the bug submitted, finally. (I closed a bunch of duplicates)