Gracefully handle `ErrorKind::BrokenPipe` (`public-api ... | head -n 1`)#94

Merged

Enselic merged 1 commit intomainfrom

handle-broken-pipe

May 18, 2022

Commits on May 17, 2022

Gracefully handle `ErrorKind::BrokenPipe` (`public-api ... | head -n 1`)
Enselic
committed