/no_valadoc-patch-Makefile_in/1.1/Mon Nov  6 09:35:27 2017//
/no_valadoc-patch-configure_ac/1.2/Sun Feb  4 09:27:29 2018//
D
