Skip to content

Fix NPE in result processing#92

Merged
hrach merged 2 commits intomainfrom result-processingOct 27, 2023