1 Issue closed by 1 person

• Core dump at the next clipping following one using the INCR protocol

  #241 closed Dec 16, 2024

1 Unresolved conversation

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.

• Is there any way of making the rofi search case-insensitive?

  #242 commented on Dec 18, 2024 • 0 new comments