chiark / gitweb /
extension traits: Use extend::ext
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 8 Mar 2021 20:30:19 +0000 (20:30 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 8 Mar 2021 20:30:19 +0000 (20:30 +0000)
commitf38b19df2b216750f88ad6d89a708373ebab7833
tree8633c1c6c5d73191ec3a5f9b09570225f5ccac02
parent385936c7377333ce3c0a035425ffe0c1807377c3
extension traits: Use extend::ext

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