First the good news: https://github.com/D-Programming-Language/dmd/pull/1839
got merged by Walter today! :-) I am very happy about that.

The bad news is, I am very busy at the moment with exams and stuff, so I won't be able to do any serious work until July. But then I really should be able to invest at least 2 weeks of full time work into dub.

Best regards,
Robert