| Synopsis | |
|---|---|
| Begin | 2020-06-18 15:45:00 |
| End | 2020-06-18 16:25:00 |
| Affected | Users of various websites. |
Several parts have been replaced. We assume the problem, that occurred twice, is now resolved. For dual-boot pcs, the boot menu was served by an alternative method during the repair.