Removed errant overwrite of num_deleted_nodes on JSON deserialization#188
Merged
andrewherren merged 1 commit intomainfrom Sep 2, 2025
Merged
Removed errant overwrite of num_deleted_nodes on JSON deserialization#188andrewherren merged 1 commit intomainfrom
andrewherren merged 1 commit intomainfrom
