Commit 5ffa632b46cdc0a7b7a7c7380261ced3cfd6d1eb

Bruno Haible 2018-04-07T19:18:59

execute: Update comment. * lib/execute.h (execute): Refer to spawn-pipe.h, not pipe.h.