chiark / gitweb /
Prep v239: Unmask delete_chars()