Wed, 03 Oct 2007 09:19:01 +0000 Florian Pose merge -r969:970 branches/stable-1.3 -> trunk (fsm_coe_map.[ch] to dist)