fix: fix the duplicate root to slot#294

GrapeBaBa wants to merge 1 commit intoleanEthereum:mainleanEthereum/leanSpec:mainfrom

GrapeBaBa:gr/zerohash_duplicate_rootsGrapeBaBa/leanSpec:gr/zerohash_duplicate_rootsCopy head branch name to clipboard