Lectures: Fix file names for downloads with chromium browsers
#62456
Triggered via pull request
December 1, 2024 09:17
SimonEntholzer
SimonEntholzer
synchronize
#9899
Status
Success
Total duration
13s
Artifacts
–