Closed ZoltanFridrich closed 11 months ago
Closes #574
coverage: 68.864% (-0.02%) from 68.882% when pulling 72c821b4266b8d4b0e622d9f0817ce1dc8b03551 on ZoltanFridrich:zfridric_devel2 into e8872bfdc4b12735bbc0433a59fc0a7ddfd68bbb on p11-glue:master.
Closes #574