Adding comment to tell that timeout is handled by propagate_sync loop and not the supervisor
Adding comment to tell that timeout is handled by propagate_sync loop and not the supervisor

ergl/antidote,SyncFree/antidote