deep thanks and congratulations to the event and ops teams for pulling this one off in non-optimal circumstances.
randy -- To unsubscribe from this mailing list, get a password reminder, or change your subscription options, please visit: https://lists.ripe.net/mailman/listinfo/ripe-list
