Re: OT: distribution time of RIPE lists