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.

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

Remove conditional translation of certificates #4881

Draft
wants to merge 1 commit into
base: master
Choose a base branch
from

Conversation

Soupstraw
Copy link
Contributor

@Soupstraw Soupstraw commented Feb 10, 2025

Description

closes #4863

Checklist

  • Commits in meaningful sequence and with useful messages
  • Tests added or updated when needed
  • CHANGELOG.md files updated for packages with externally visible changes

    New section is never added with the code changes. (See RELEASING.md)
  • Versions updated in .cabal and CHANGELOG.md files when necessary, according to the
    versioning process.
  • Version bounds in .cabal files updated when necessary

    If you change the bounds in a cabal file, that package itself must have a version increase. (See RELEASING.md)
  • Code formatted (use scripts/fourmolize.sh)
  • Cabal files formatted (use scripts/cabal-format.sh)
  • hie.yaml updated (use scripts/gen-hie.sh)
  • Self-reviewed the diff

@Soupstraw Soupstraw changed the title WIP Remove conditional translation of certificates Feb 10, 2025
@Soupstraw Soupstraw force-pushed the jj/remove-conditional-translation branch from eb46b0e to 7121cde Compare February 13, 2025 14:13
@Soupstraw Soupstraw force-pushed the jj/remove-conditional-translation branch from 7121cde to c01f9e8 Compare February 18, 2025 10:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Attempt removing conditional translation of certificates
1 participant