fix(wsl-lean): truncate dead heredoc in setup_wsl_lean4.sh (#16567) - #16576

fix(wsl-lean): truncate dead heredoc in setup_wsl_lean4.sh (#16567)#16576

jsboige wants to merge 1 commit into

mainjsboige/CoursIA:mainfrom

fix/16567-setup-wsl-lean-heredoc-mortjsboige/CoursIA:fix/16567-setup-wsl-lean-heredoc-mortCopy head branch name to clipboard