/patch-dns.hh/1.3/Wed Jun 10 14:22:29 2015//
/patch-ext_json11_json11.cpp/1.1/Mon May 22 23:41:52 2017//
/patch-version.cc/1.2/Tue Mar 17 19:07:29 2020//
/patch-portsmplexer.cc/1.4/Thu Sep 29 12:47:31 2022//
/patch-qtype.hh/1.2/Fri Sep 30 01:00:58 2022//
D