12 Nov
2017
12 Nov
'17
12:35 p.m.
Tim Bruijnzeels via db-wg wrote:
1) replace multi-whitespace or multi-line occurrences on input (warn, but just strip the additional space) 2) reject multi-whitespace or multi-line occurrences on input
I am leaning towards option 2, but I would value your input.
strong preference to fix; mild preference towards #2. Nick