Cleanup instanceof#6302

Merged

BenjaminDeleze merged 7 commits intomasterfrom

cleanup-instanceof

Jul 7, 2023

Commits on Jul 6, 2023

replace instanceof
BenjaminDeleze
committed
instanceof other
BenjaminDeleze
committed
cleanup
BenjaminDeleze
committed
Fix shapes
BenjaminDeleze
committed
fix shape updates
BenjaminDeleze
committed

Commits on Jul 7, 2023

style
Benjamin Deleze
committed
Merge branch 'master' into cleanup-instanceof
Benjamin Délèze
authored