Merge pull request #886 from servusDei2018/dev
authorYann Collet <Cyan4973@users.noreply.github.com>
Fri, 21 Aug 2020 21:17:43 +0000 (14:17 -0700)
committerGitHub <noreply@github.com>
Fri, 21 Aug 2020 21:17:43 +0000 (14:17 -0700)
Optimized by replacing `endl` with `'\n'`


Trivial merge