dart-lang/pub-dartlang — pull request #131 by nex3 (2013-11-09 01:22:18+00:00)
Title: Preserve the format of the version number used by the user.

This fixed the server-side component of [issue 13863](https://code.google.com/p/dart/issues/detail?id=13863).