Merge pull request #22532 from seamuslee001/dev_core_3034
authordemeritcowboy <demeritcowboy@hotmail.com>
Mon, 28 Mar 2022 23:43:43 +0000 (19:43 -0400)
committerGitHub <noreply@github.com>
Mon, 28 Mar 2022 23:43:43 +0000 (19:43 -0400)
dev/core#3034 Ensure that filename contains the file extension for PDFs


Trivial merge