Lectures: Fix file names for downloads with chromium browsers
#7234
| Job | Run time |
|---|---|
| 36s | |
| 36s |
Lectures: Fix file names for downloads with chromium browsers
#7234
| Job | Run time |
|---|---|
| 36s | |
| 36s |