- adapted rep_upd_sync changes from r2189 to the changes of r2185
- adapted rep_upd_sync changes from r2189 to the changes of r2185

l4u/scalaris-mirror,l4u/scalaris-mirror,l4u/scalaris-mirror,l4u/scalaris-mirror,l4u/scalaris-mirror,l4u/scalaris-mirror