Re: [PRQ#46890] Deletion Request for zsh-fix-winchanged-git

1 Sep 2023


      I think I'm the maintainer, and I'd be happy to have this deleted.

andykluger＠gmail.com