Skip to content

Bump lombok#435

Merged
diemol merged 1 commit intomasterfrom
bump-lombok
Oct 17, 2023
Merged

Bump lombok#435
diemol merged 1 commit intomasterfrom
bump-lombok

Conversation

@diemol
Copy link
Copy Markdown
Member

@diemol diemol commented Oct 17, 2023

Description

Motivation and Context

How Has This Been Tested?

Types of changes

  • Bugfix (non-breaking change which fixes an issue)
  • New feature (non-breaking change which adds functionality)
  • Refactoring (change which improves current code base; please describe the change)
  • Breaking change (fix or feature that would cause existing functionality to not work as expected)
  • Documentation Update (if none of the other choices apply)

Screenshots (if appropriate):

Checklist

  • I have read the CONTRIBUTING doc
  • I have added tests that prove my fix is effective or that my feature works
  • All new and existing tests passed locally
  • I have added necessary documentation (if appropriate)

Further comments

If this is a relatively large or complex change, kick off the discussion by explaining why you chose the solution you did and what alternatives you considered, etc...

@diemol diemol merged commit c82e27b into master Oct 17, 2023
@diemol diemol deleted the bump-lombok branch October 17, 2023 12:34
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.

1 participant