chiark / gitweb /
extension traits: Use extend::ext
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 8 Mar 2021 20:22:28 +0000 (20:22 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 8 Mar 2021 20:22:28 +0000 (20:22 +0000)
commit385936c7377333ce3c0a035425ffe0c1807377c3
treefe597b7c0b11a332d9d98b3730d081ead7dbe34a
parent121208edcefd63f4e51d2e85dc16ff0e609fc8ee
extension traits: Use extend::ext

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
src/utils.rs