Skip to content

Move object property heuristics to heuristics.rs#2764

Merged
Wumpf merged 1 commit intomainfrom andreas/move-object-heuristicsJul 21, 2023