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

misc: do not crash exporting broken post-conditions (#13376) #345

Merged
fpeters merged 1 commits from wip/13376-export-none-post-condition into main 2023-05-28 09:47:43 +02:00
Conversation 0 Commits 1 Files Changed 1 +2 -2
fpeters commented 2023-05-27 10:17:08 +02:00
Owner
Copy Link
No description provided.
fpeters added 1 commit 2023-05-27 10:17:08 +02:00
lguerin approved these changes 2023-05-27 15:58:12 +02:00
fpeters merged commit cbdc61339d into main 2023-05-28 09:47:43 +02:00
fpeters deleted branch wip/13376-export-none-post-condition 2023-05-28 09:47:43 +02:00
Sign in to join this conversation.
Reviewers
No reviewers
lguerin
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#345
No description provided.
Delete Branch "wip/13376-export-none-post-condition"

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?