Physical Device Pool outage Tuesday 21st May 2024 11:32:00

On May 21, between 11:32 and 13:45 we experienced connectivity issues with the public physical device pool. This issue has been fixed and we are adding mechanisms to prevent this from happening again.