[routing-wg] Subject: RPKI ROA Deletion: Post-mortem

Hi,

thanks a lot for collecting the information and the post-mortem, and 
apologies for nitpicking, but:

On 3 Apr 2020, at 14:55, Nathalie Trenaman wrote:

> Following an update to our internal registry software on 1 April at
> 18:16 (UTC+2), 2,669 ROAs were deleted from Provider Independent (PI)
> address assignments.
[..]
> Affected users with alerts set up in the LIR Portal received a
> notification email on 31 March at 22:23, stating that their ROAs were
> missing.
[..]
>
> Our engineers were able to reinstate all of the missing ROAs by 13:15 
> on
> 2 April.

The timeline does not completely match up here. I assume the users 
received alarms on April 1 after the update of the internal registry 
software?

Thanks,

    Marcus