Commit 2307a2256a658d5988f2eab1d367b3971918d527

Edward Thomson 2020-10-08T09:10:36

Merge pull request #5656 from ehuss/fix-check_extensions-err Fix error return for invalid extensions.