misc: remove has_options method (#89527) #1402

Merged
fpeters merged 1 commits from wip/89527-remove-has_options-method into main 2024-04-15 10:21:59 +02:00
Owner
No description provided.
fpeters added 1 commit 2024-04-14 09:10:09 +02:00
gitea/wcs/pipeline/head This commit looks good Details
d6aca018de
misc: remove has_options method (#89527)
lguerin approved these changes 2024-04-15 10:19:18 +02:00
fpeters merged commit 1a384effa4 into main 2024-04-15 10:21:59 +02:00
fpeters deleted branch wip/89527-remove-has_options-method 2024-04-15 10:21:59 +02: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#1402
No description provided.