Revert: restore the re-recognize-taps (live-converge) opt-in#48

AsafMah merged 1 commit into

devAsafMah/LeanType:devfrom

revert/restore-rerecognize-tapsAsafMah/LeanType:revert/restore-rerecognize-tapsCopy head branch name to clipboard