https://issues.dlang.org/show_bug.cgi?id=18469
Martin Nowak <[email protected]> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|RESOLVED |REOPENED CC| |[email protected] Resolution|FIXED |--- --- Comment #4 from Martin Nowak <[email protected]> --- (In reply to RazvanN from comment #3) > This should have been close when the PR was merged. Manually cloasing as > fixed. Thanks for the joint effort Basile B. and bitter.taste. No, @RazvanN, we've reconfigure the GH-Bugzilla integration to only close issues once the fixes are merged into master, so to cause less confusion with sth. being only fixed in some branches. --
