Fix missing file extension for downloaded files. #5841

Merged

Siedlerchr merged 1 commit intomasterfrom fixDownloadExt

Jan 18, 2020

+8-6

Commits on Jan 18, 2020

Fix missing file extension for downloaded files. Fixes #5816 by falling back to PDF as default file type.
tobiasdiez
committed