C'est OK, d'après https://discuter.spip.net/t/plugins-manquants-pour-version-4-2/169452/28
No due date set.
No dependencies set.
Deleting a branch is permanent. It CANNOT be undone. Continue?
C'est OK, d'après https://discuter.spip.net/t/plugins-manquants-pour-version-4-2/169452/28