Closed dgutov closed 4 months ago
It's normally a no-op (the cursor already looks like that), but it can also trigger a bug in certain circumstances:
https://debbugs.gnu.org/71866
Thank you!
It's normally a no-op (the cursor already looks like that), but it can also trigger a bug in certain circumstances:
https://debbugs.gnu.org/71866