/patch-aa/1.2/Mon Nov  8 01:02:39 2021//
/patch-request.ml/1.1/Wed Mar 14 08:58:43 2018//
/patch-src_Makefile/1.2/Wed Mar 14 08:59:59 2018//
/patch-src_activebuffer.ml/1.1/Wed Mar 14 08:58:43 2018//
/patch-src_activebuffer.mli/1.1/Wed Mar 14 08:58:43 2018//
/patch-src_answer.ml/1.1/Wed Mar 14 08:58:43 2018//
/patch-src_dns.ml/1.1/Wed Mar 14 08:58:43 2018//
/patch-src_utils.ml/1.1/Wed Mar 14 08:58:43 2018//
D