Repository navigation
fix: make isExtensionUpdateRequired uniformly public (widen over narrow) - #1460
Merged
joaodinissf merged 1 commit intoJul 13, 2026
Merged
joaodinissf merged 1 commit into
joaodinissf merged 1 commit into
Commits
Commits on Jul 11, 2026