encode newlines in GithubErrorFormatter#317
Merged
ondrejmirtes merged 14 commits intophpstan:masterfrom Sep 6, 2020
Merged
Commits
Commits on Sep 6, 2020
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
