You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Rollup merge of rust-lang#113009 - ChrisDenton:remove-path, r=workingjubilee
Remove unnecessary `path` attribute
Follow up to rust-lang#111401. I missed this at the time but it should now be totally unnecessary since the other include was removed.
r? `@workingjubilee`
0 commit comments