/patch-Jamrules/1.8/Fri Jun  7 05:18:20 2019//
/patch-garglk_launchgtk_c/1.3/Fri Jun  7 05:18:20 2019//
/patch-tads_Jamfile/1.5/Fri Jun  7 05:18:20 2019//
D
