mirror of
https://github.com/fish-shell/fish-shell.git
synced 2025-03-10 04:05:22 +08:00

This was the remaining immediately actionable part of #7375. It's not definitely the last word, but a change here would require a bigger plan. Fixes #7375 (cherry picked from commit 0e81d25b369c202cf8e256382104552d4023921e)