Pprbd problems from 2020-02-18 09:58 to 10:30

On Feb. 18, 2020, 9:58 a.m., pprbd.org stopped responding normally and became unavailable to users.
After 32 minutes, at Feb. 18, 2020, 10:30 a.m., It started behaving normally and we were able to reach it again.

During the downtime, no users reported problems with reaching pprbd.org