Pprbd problems from 2019-11-11 08:39 to 08:58

On Nov. 11, 2019, 8:39 a.m., pprbd.org stopped responding normally and became unavailable to users.
After 19 minutes, at Nov. 11, 2019, 8:58 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