plutus icon indicating copy to clipboard operation
plutus copied to clipboard

UCaseOfCase Translation Relation

Open ramsay-t opened this issue 1 year ago • 0 comments

Pre-submit checklist:

  • Branch
    • [x] Commit sequence broadly makes sense
    • [x] Key commits have useful messages
    • [x] Changelog fragments have been written (if appropriate)
    • [x] Relevant tickets are mentioned in commit messages
  • PR
    • [x] Targeting master unless this is a cherry-pick backport
    • [x] Self-reviewed the diff
    • [x] Useful pull request description
    • [x] Reviewer requested

Fixes #5916

ramsay-t avatar May 02 '24 13:05 ramsay-t