http://d.puremagic.com/issues/show_bug.cgi?id=8527
--- Comment #2 from github-bugzi...@puremagic.com 2012-08-09 10:35:32 PDT --- Commit pushed to master at https://github.com/D-Programming-Language/druntime https://github.com/D-Programming-Language/druntime/commit/22e74c5d183b466efec34b7f8f770458579871dc Fix Issue 8527 - `object.destroy` doesn't destroy interfaces -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
