Specify that split_ascii_whitespace uses the same definition as is_ascii_whitespace#140952

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

SimonSapin:ascii_whitespace_definitionSimonSapin/rust:ascii_whitespace_definitionCopy head branch name to clipboard