gerrit.named-data.net / ndn-cxx / 73e3004470ecf6ddb417927a653b96d9ee7ea7b2 / src / util / signal.hpp