Credits to Aleš Janda for his exquisite job#44

Open

ioannisvlachos wants to merge 3 commits intographsense:masterfrom ioannisvlachos:master

+116-1

Commits on Apr 24, 2023

Credits to Aleš Janda for his exquisite job
ioannisvlachos
committed

Commits on May 8, 2023

Merge branch 'graphsense:master' into master
ioannisvlachos
authored

Commits on Jun 22, 2023

Additional actors added.
mdragaschnig
committed