Closed adamjanovsky closed 2 years ago
Also resolves https://github.com/crocs-muni/sec-certs/pull/225
Also resolves https://github.com/crocs-muni/sec-certs/pull/225