Revert "Merge branch 'gevent_event_optional' into 'main'" (!134) · Merge requests · workflow / ewoks / ewoksjob · GitLab

Wout De Nolf requested to merge revert-fad92c33 into main Dec 15, 2023

This reverts merge request !133 (merged)