Close after select (!65) · Merge requests · Apps / catfish · GitLab

The source project of this merge request has been removed.

Dictyostelium Discoideum requested to merge DictyosteliumDiscoideum/catfish:close-after-select into master Oct 31, 2024

Reopening !62 (closed) on dedicated branch.

Fixes: #111 (closed)

Edited Oct 31, 2024 by Gaël Bonithon