File fvwm-2.6.5-eventcrash.patch of Package fvwm2

--- fvwm/events.c
+++ fvwm/events.c	2013-07-24 10:29:01.563288010 +0000
@@ -3383,8 +3383,7 @@ void HandlePropertyNotify(const evh_args
 		 * if the icon name is NoName, set the name of the icon to be
 		 * the same as the window
 		 */
-		if (!WAS_ICON_NAME_PROVIDED(fw) || (fw->icon_name.name &&
-			(fw->icon_name.name != fw->name.name)))
+		if (!WAS_ICON_NAME_PROVIDED(fw))
 		{
 			fw->icon_name = fw->name;
 			setup_visible_name(fw, True);