devtools
Fix build failure
#8820
Merged

Fix build failure #8820

mossmana
mossmana corrected license header position
750323bd
mossmana mossmana added release-notes-not-required
mossmana mossmana requested a review from kenzieschmoll kenzieschmoll 347 days ago
kenzieschmoll
kenzieschmoll approved these changes on 2025-01-29
mossmana mossmana merged 8f478228 into master 347 days ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
Milestone