5758 - Navigation: Data errors - Improve error tooltip text formatting - #6168
Merged
mergify[bot] merged 1 commit intoJul 25, 2026
Merged
Mergify / Mergify Merge Queue
succeeded
Jul 25, 2026 in 13s
Merged via merge queue
- ✅ Entered queue —
2026-07-25 18:12 UTC· Rule:default· triggered by ruleAutomatic merge using squash - ✅ Checks skipped · PR is already up-to-date
- ✅ Merged —
2026-07-25 18:12 UTC· at81dc6d94b07a14bb9e9273afb55a7d3cd639818e· squash
This pull request spent 12 seconds in the queue, including 1 second running CI.
Required conditions to merge
#approved-reviews-by>=1
Loading