Skip to content

[executorch] Work around an old GCC bug in memory_manager.h#529

Closed
dbort wants to merge 1 commit intogh/dbort/22/basefrom
gh/dbort/22/head
Closed

[executorch] Work around an old GCC bug in memory_manager.h#529
dbort wants to merge 1 commit intogh/dbort/22/basefrom
gh/dbort/22/head

Commits

Commits on Sep 29, 2023