chiark / gitweb /
basic/exec-util: add support for synchronous (ordered) execution