Skip to content

Conversation

@jorisdral
Copy link
Contributor

The current definitions are too verbose, and unnecessarily generalised. This commit simplifies the definitions at no cost to the functionality.

@jorisdral jorisdral added the enhancement New feature or request label Jan 31, 2023
@jorisdral jorisdral self-assigned this Jan 31, 2023
@jorisdral jorisdral changed the title Simplify the DiffHistory and NEDiffHistory types diff-containers: Simplify the DiffHistory and NEDiffHistory types Jan 31, 2023
@jorisdral jorisdral marked this pull request as ready for review January 31, 2023 15:56
The current definitions are too verbose, and unnecessarily generalised.
This commit simplifies the definitions at no cost to the functionality.
@jorisdral jorisdral force-pushed the jdral/diff-containers-simplify-diff-history-type branch from c2ee233 to 240ed9d Compare January 31, 2023 15:58
Copy link
Contributor

@jasagredo jasagredo left a comment

Choose a reason for hiding this comment

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

Looks good!

@jorisdral jorisdral merged commit ad25e50 into main Feb 1, 2023
@jorisdral jorisdral deleted the jdral/diff-containers-simplify-diff-history-type branch February 1, 2023 13:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

No open projects
Status: ✅ Done

Development

Successfully merging this pull request may close these issues.

4 participants