• Saleh@feddit.org
      link
      fedilink
      arrow-up
      2
      ·
      edit-2
      16 hours ago

      Hmm you’re right. I didnt notice so far, nor was it brought up as an issue.

      You can activate case sensitivity since Win 10 or so.