Mon, 17 Mar 2008 14:16:16 +0000 Florian Pose Fixed bug in copying sync managers. Now making a deep copy.