workflows: add option to set marker on jump after edit (#87077) #1157

Merged
fpeters merged 1 commits from wip/87077-editable-set-marker into main 2024-02-26 15:05:24 +01:00
Owner
No description provided.
fpeters force-pushed wip/87077-editable-set-marker from 93c4d0c3d7 to 92ed90031b 2024-02-17 17:05:20 +01:00 Compare
fpeters force-pushed wip/87077-editable-set-marker from 92ed90031b to b368be6b8d 2024-02-23 21:26:03 +01:00 Compare
fpeters changed title from WIP: workflows: add option to set marker on jump after edit (#87077) to workflows: add option to set marker on jump after edit (#87077) 2024-02-23 21:26:13 +01:00
ecazenave approved these changes 2024-02-26 14:20:55 +01:00
fpeters merged commit da17ae78b6 into main 2024-02-26 15:05:24 +01:00
fpeters deleted branch wip/87077-editable-set-marker 2024-02-26 15:05:24 +01:00
Sign in to join this conversation.
No reviewers
No Label
No Milestone
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#1157
No description provided.