Fix 872: String.split(<char>) for newline characters
Merge pull request #876 from gzm0/string-split-char

Fix 872: String.split(<char>) for newline characters