Daniel Gimpelevich Wed, 06 Dec 2017 09:57:19 -0800
Antonio: The version number comes from the source code itself.
