http://d.puremagic.com/issues/show_bug.cgi?id=7971
--- Comment #1 from github-bugzi...@puremagic.com 2012-10-06 22:12:15 PDT --- Commit pushed to master at https://github.com/D-Programming-Language/druntime https://github.com/D-Programming-Language/druntime/commit/0cb46c5212cb9c05f2977200e449a6d7f21cb4ff Merge pull request #312 from AndrejMitrovic/Fix7971 Fix Issue 7971 -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------