chiark / gitweb /
fix handling of string_escape option