5 Sep
2014
5 Sep
'14
12:07 a.m.
This patch fixes ticket https://fedorahosted.org/pki/ticket/1146. It has already been verbally ACK'd by Jack. Pushed to master: commit 3a40420a042db5f577a5a17c8a49ccd1d1d73955 thanks, Christina