Thanks to visit codestin.com
Credit goes to github.com

fixes #961 - separate warnings and errors with two linefeeds#962

Merged

PhilippSalvisberg merged 1 commit intodevelopfrom

bugfix/issue_961_warnings_separator

Jul 1, 2019

Commits on Jul 1, 2019

fixes #961 - separate warnings and errors with two linefeeds instead of one
PhilippSalvisberg
committed