[Pkg-julia-devel] Julia 0.3.12

[Graham Inggs]

I've just noticed julia 0.3.12 now shows the git commit date.

                _
    _       _ _(_)_     |  A fresh approach to technical computing
   (_)     | (_) (_)    |  Documentation: http://docs.julialang.org
    _ _   _| |_  __ _   |  Type "help()" for help.
   | | | | | | |/ _` |  |
   | | |_| | | | (_| |  |  Version 0.3.12 (2015-10-26 12:41 UTC)
  _/ |\__'_|_|_|\__'_|  |
|__/                   |  x86_64-linux-gnu

This shouldn't affect reproducibility.
It seems to have been caused by the new file 'base/version_git.jl'.
i.e. removing that file causes only 'Version 0.3.12' to be displayed.

Do we want to display this?