/patch-configure/1.10/Sun Feb 10 18:00:26 2019//
/patch-doc_makefile_in/1.5/Wed Sep  5 21:39:18 2018//
D
