[Pki-devel] [pki-devel][PATCH] 0037-Fix-Pin-Reset-tokenType-resolution.patch