New member String.normalize_whitespace. Rev: lib/modules/String.pmod/module.pmod:1.34 Rev: lib/modules/String.pmod/testsuite.in:1.27 Rev: src/builtin.cmod:1.242 Rev: src/builtin_functions.h:1.41