https://d.puremagic.com/issues/show_bug.cgi?id=11962
--- Comment #11 from Manu <[email protected]> 2014-03-02 08:39:59 PST --- Awesome, cheers! :) Hopefully these can be switched for proper DMD options soon. -- Configure issuemail: https://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
