Post #3791593
2026-05-11 18:03 UTC
https://github.com/zsh-users/zsh/pull/170 - but maybe...
Replies (1)
-
@manpacket@functional.cafe 2026-05-17 11:38
Clarification to #zsh documentation got merged, yay.
2026-05-11 18:03 UTC
Clarification to #zsh documentation got merged, yay.