fix: Prevent the commutative merging of all extra elements #562

Merged
wetneb merged 4 commits from extra into main 2025-08-16 11:35:43 +02:00

4 commits

Author SHA1 Message Date
138fce747f Add comment
All checks were successful
/ test (pull_request) Successful in 42s
2025-08-16 10:11:58 +02:00
dc294dbcae clippy
All checks were successful
/ test (pull_request) Successful in 40s
2025-08-05 22:32:10 +02:00
e81db12a6a fix: Prevent the commutative merging of all 'extra' elements
Some checks failed
/ test (pull_request) Failing after 26s
Closes #467.
2025-08-05 22:16:13 +02:00
063bf4df4b track which node is extra or not 2025-08-05 22:15:46 +02:00