misc: use custom id in paths (#87322) #1179

Merged
fpeters merged 1 commits from wip/87322-custom-id-url into main 2024-02-23 19:02:42 +01:00
Owner
No description provided.
fpeters force-pushed wip/87322-custom-id-url from 15006d9d9a to 2db45d18fe 2024-02-22 14:25:36 +01:00 Compare
fpeters force-pushed wip/87322-custom-id-url from 2db45d18fe to a94233200c 2024-02-22 14:40:07 +01:00 Compare
fpeters changed title from WIP: misc: use custom id in paths (#87322) to misc: use custom id in paths (#87322) 2024-02-22 14:47:39 +01:00
lguerin approved these changes 2024-02-23 15:32:28 +01:00
fpeters merged commit a94233200c into main 2024-02-23 19:02:42 +01:00
fpeters deleted branch wip/87322-custom-id-url 2024-02-23 19:02:42 +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#1179
No description provided.