Re: [Pki-devel] [PATCH] 224 Updated version number to 10.0.2-0.1.