chiark / gitweb /
Remove the duplicate utils.strip_leading function