[dmd-internals] dmd-devel version number

[Walter Bright]

On 2/10/2013 10:19 AM, Leandro Lucarella wrote:
>  I just want it upstream because is always better to have the changes upstream 
> and, especially, because I think this is useful in the general case, so I want 
> to contribute it back.

I don't see a problem with doing a pull request for this, and seeing what others 
think rather than just me.