Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Rollup merge of #113009 - ChrisDenton:remove-path, r=workingjubilee
Remove unnecessary `path` attribute Follow up to #111401. I missed this at the time but it should now be totally unnecessary since the other include was removed. r? `@workingjubilee`
- Loading branch information