Closed jcs090218 closed 4 months ago
For https://github.com/copilot-emacs/copilot.el/pull/247#issuecomment-1951473070.
@emil-vdw FYI, I do have the merge permission but I would still need someone else's approval to merge PRs.
For https://github.com/copilot-emacs/copilot.el/pull/247#issuecomment-1951473070.