Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

chore: release v13 #23218

Merged
merged 2 commits into from
Nov 15, 2023
Merged

chore: release v13 #23218

merged 2 commits into from
Nov 15, 2023

Commits on Nov 9, 2023

  1. fix: ignore case of filetype (#23151) 

    Co-authored-by: barredterra <14891507+barredterra@users.noreply.github.com>
    @mergify @barredterra
    mergify[bot] and barredterra committed Nov 9, 2023
    Configuration menu
    Copy the full SHA
    4a393e0 View commit details
    Browse the repository at this point in the history

  2. chore: Update de.csv (#21074) (#23159) 

    Update Translation

'No' means 'Nein' in German and not 'nothing' 'Kein'

(cherry picked from commit 98d56d2)

Co-authored-by: Christian Werner <cwerner1@users.noreply.github.com>
(cherry picked from commit 1d8ebf2)

Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
    @mergify
    mergify[bot] committed Nov 9, 2023
    Configuration menu
    Copy the full SHA
    8e28db4 View commit details
    Browse the repository at this point in the history