Skip to content
This repository has been archived by the owner on Nov 4, 2024. It is now read-only.

COR-1810 - removed unused difference keys #4928

Merged

Conversation

yorickdevries
Copy link
Contributor

  • Removed several difference keys not needed for the front-end

@CLAassistant
Copy link

CLA assistant check
Thank you for your submission! We really appreciate it. Like many open source projects, we ask that you sign our Contributor License Agreement before we can accept your contribution.


Yorick de Vries seems not to be a GitHub user. You need a GitHub account to be able to sign the CLA. If you have already a GitHub account, please add the email address used for this commit to your account.
You have signed the CLA already but the status is still pending? Let us recheck it.

Copy link
Contributor

@ben-van-eekelen ben-van-eekelen left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Ran typecheck, all looks good!

@ben-van-eekelen ben-van-eekelen merged commit 7e702be into develop Nov 6, 2023
7 checks passed
@ben-van-eekelen ben-van-eekelen deleted the feature/COR-1810_disable-unused-difference-keys branch November 6, 2023 14:40
@ben-van-eekelen ben-van-eekelen mentioned this pull request Nov 15, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants