On 22 Oct 2018, at 3:47, Radu via digitalmars-d-ldc wrote: > [Tried to report it with github issue but it doesn't work, can't see > the bug after I submitted] GitHub has been having issues with their backend (https://status.github.com), could you try submitting it again now that things are supposedly back to normal? Thanks! —David