Commit 4510cafd334ddb9adb5b9ff174a716a0b388a323

Bruno Haible 2020-04-28T01:33:26

pipe: Remove deprecated module. * modules/pipe: Remove file. * lib/pipe.h: Remove file. * NEWS: Mention the removal.