Skip to content

Fix(lean,#19480): errors=replace sur subprocess utf-8 dans 5 carnets Lean - #19564

Closed
jsboige wants to merge 2 commits into
mainfrom
feature/19480-lean-wsl-errors
Closed

jsboige wants to merge 2 commits into
mainfrom
feature/19480-lean-wsl-errors

fix(lean,19564): remove extra '(' before '[' in subprocess.run calls …

2c88d58
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar