gerrit.named-data.net / ndn-cxx / 5519cc72e7e31d9f3014ff131b7e21c98a701ad9 / src / util / signal.hpp