No matches were found for subject:"Bug#1810\: fvwm doesn't delete \/tmp\/fvwmrc.<pid>"