Have Vertx 4.0 prioritize path and fallback to name
#10382
Merged
DD-MergeGate / devflow/mergegate
succeeded
Jan 14, 2026
Merge Gate
Merge Gate status is success
Details
- All applicable files are owned properly
Digest:3009116
if this seems incorrect, you can retrigger the evaluation of the MergeGate by clicking on this link
Loading