Re: [Pki-devel] [PATCH] 731-733 Renamed TPS token states.