https://issues.dlang.org/show_bug.cgi?id=12254
Vladimir Panteleev <[email protected]> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|ASSIGNED |RESOLVED Resolution|--- |WORKSFORME --- Comment #9 from Vladimir Panteleev <[email protected]> --- GitHub PR interface has improved a lot since this issue was opened (labels, checklists, filtering etc.), so I think we can now close this. --
