Closed ZoltanFridrich closed 11 months ago
Closes #548
coverage: 69.248% (+0.2%) from 69.021% when pulling 4774e5d15c0ec72320da63d3a0fc9d85b4b72376 on ZoltanFridrich:zfridric_devel4 into f7a89e5cfe36f642a3f6004e29fd1160933c8f08 on p11-glue:master.
Closes #548