entrouvert/wcs
entrouvert
/
wcs
14
1
Fork 0
Code Issues Pull Requests 34 Releases Activity

trivial: adjust post condition "condition" label (#24639) #916

Merged
fpeters merged 1 commits from wip/24639-post-condition-condition-label into main 2023-12-15 09:22:18 +01:00
Conversation 0 Commits 1 Files Changed 1 +5 -1
fpeters commented 2023-12-11 20:34:24 +01:00
Owner
Copy Link
No description provided.
fpeters added 1 commit 2023-12-11 20:34:25 +01:00
fpeters changed title from WIP: trivial: adjust post condition "condition" label (#24639) to trivial: adjust post condition "condition" label (#24639) 2023-12-11 20:41:08 +01:00
tnoel approved these changes 2023-12-12 10:40:01 +01:00
fpeters merged commit 2143050112 into main 2023-12-15 09:22:18 +01:00
fpeters deleted branch wip/24639-post-condition-condition-label 2023-12-15 09:22:18 +01:00
Sign in to join this conversation.
Reviewers
No reviewers
tnoel
Labels
Clear labels
No items
No Label
Milestone
Clear milestone
No items
No Milestone
Assignees
Clear assignees
No Assignees
2 Participants
Notifications
Due Date
The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: entrouvert/wcs#916
No description provided.
Delete Branch "wip/24639-post-condition-condition-label"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?