maps: add option to include a search button (#88131) #245

Merged
fpeters merged 1 commits from wip/88131-map-search into main 2024-03-29 08:29:05 +01:00
Owner
No description provided.
fpeters added 1 commit 2024-03-14 10:09:01 +01:00
gitea/combo/pipeline/head This commit looks good Details
477ea488d6
maps: add option to include a search button (#88131)
fpeters changed title from WIP: maps: add option to include a search button (#88131) to maps: add option to include a search button (#88131) 2024-03-19 16:58:22 +01:00
lguerin approved these changes 2024-03-19 18:28:28 +01:00
fpeters merged commit 7b66dca2ba into main 2024-03-29 08:29:05 +01:00
fpeters deleted branch wip/88131-map-search 2024-03-29 08:29:05 +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/combo#245
No description provided.