On 2013-10-04 12:17, Dicebot wrote: > I liked the proposal to add special `dub` category for those (`dub` > needs some categorization anyway). Only drawback is that it actually > needs to be implemented instead of simply making a decision :) For that, dub needs to be bundled with DMD. -- /Jacob Carlborg