Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
... it used to strip off the .d file extension to sort correctly but ever since the extension changed to .md the operation failed and the sort got wrong. Follow-up to 2494b8d Closes #13567
- Loading branch information