Draft: Resolve "Add the options to remove a node or a group of nodes with the delete key"
Closed
requested to merge 163-add-the-options-to-remove-a-node-or-a-group-of-nodes-with-the-delete-key into main
A GitLab upgrade is scheduled for Monday, June 2, 2025. The service will be unavailable for a few minutes in the morning. We'll keep you posted on the progress of the upgrade on the Mattermost channel: https://mattermost.inria.fr/devel/channels/gitlab. We recommend that you do not work on the platform until an announcement indicates that maintenance is complete.
Closes #163 (closed)
added 1 deleted label
closed