[Pki-devel] [PATCH] 124 Added VERSION file.