Admin message

Downtime: Monday, August 17, 09:00–11:00 — scheduled maintenance.

Tags

Tags give the ability to mark specific points in history as being important

2021-s2

14e90bb1 · Added solution notebooks · Oct 26, 2021
```
end of sem: freeze for SUPs
```