• 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.