Update leanSpec target with commit hash for devnet3#73

unnawut merged 2 commits intoleanEthereum:mainleanEthereum/pm:mainfrom

shariqnaiyer:patch-1shariqnaiyer/pm:patch-1Copy head branch name to clipboard