clan config: match dynamic options containing <name> #337

Merged
clan-bot merged 1 commits from DavHau-dave into main 2023-09-24 12:06:54 +00:00
Owner
No description provided.
clan-bot was assigned by DavHau 2023-09-24 12:04:48 +00:00
DavHau added 1 commit 2023-09-24 12:04:48 +00:00
clan config: match dynamic options containing <name>
All checks were successful
checks-impure / test (pull_request) Successful in 8s
checks / test (pull_request) Successful in 23s
ec70b34470
DavHau added 1 commit 2023-09-24 12:04:49 +00:00
clan config: match dynamic options containing <name>
All checks were successful
checks-impure / test (pull_request) Successful in 8s
checks / test (pull_request) Successful in 23s
ec70b34470
clan-bot merged commit 851e33d794 into main 2023-09-24 12:06:54 +00:00
Sign in to join this conversation.
No reviewers
No Milestone
No project
No Assignees
1 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: clan/clan-core#337
No description provided.