[Pushup] Fix broken EC build #353

Merged
ManlyMarco merged 1 commit from push-ec into master 2025-07-22 20:03:40 +00:00
ManlyMarco commented 2025-07-22 20:03:00 +00:00 (Migrated from github.com)

Part 2 of #349

Part 2 of #349
Sign in to join this conversation.
No description provided.