Skip to content

fix: account for mutations in script module in ownership check#14253

Merged
paoloricciuti merged 1 commit intomainfrom
fix-ownership-check-in-script-module
Nov 10, 2024
Merged

fix: account for mutations in script module in ownership check#14253
paoloricciuti merged 1 commit intomainfrom
fix-ownership-check-in-script-module

Commits

Commits on Nov 10, 2024