`Lectures`: Use attachment name for file downloads#9775

Merged

krusche merged 3 commits intodevelopfrom bugfix/lectures/file-download-use-attachment-name

Nov 16, 2024

+31-19

Commits on Nov 13, 2024

Commits on Nov 14, 2024

Merge branch 'develop' into bugfix/lectures/file-download-use-attachment-name
SimonEntholzer
authored