23 Nov
2015
23 Nov
'15
6:04 a.m.
The attached patch is a drive-by improvement during analysis of https://fedorahosted.org/pki/ticket/1700. Thanks, Fraser