[Pki-devel] [PATCH] 517 Fixed missing TPS token attributes.