/patch-Makefile_in/1.4/Mon Feb  9 18:45:17 2015//
/patch-util_fluxbox-generate_menu_in/1.11/Mon Feb  9 18:45:17 2015//
/patch-util_fluxbox-remote_cc/1.3/Sat Apr 22 07:50:21 2017//
/patch-src_Ewmh_cc/1.7/Thu Apr 19 22:50:55 2018//
D
