`\n` has started appearing in messages

banacorn / agda-mode-vscode

agda-mode on VS Code

MIT License

167 stars 38 forks source link

Open ncfavier opened 7 months ago

ncfavier commented 7 months ago

Checking Foo (/path/to/Foo.agda).\n

Started appearing after upgrading from 0.4.4 to 0.4.7.