EC notifying F3 about new tipsets