Diff fvwm-crystal-3.7.5 with a fvwm-crystal-3.7.6

Thank you!