Mon, 05 Mar 2007 14:59:23 +0000 Florian Pose Removed unnecessary edge in slave configuration FSM graph.