Skip to content

Change FileInfo to record #91#96

Merged
Yuriks1 merged 1 commit into
fungover:mainfrom
Yuriks1:Issue-91
Feb 11, 2022
Merged

Change FileInfo to record #91#96
Yuriks1 merged 1 commit into
fungover:mainfrom
Yuriks1:Issue-91

Conversation

@Yuriks1

@Yuriks1 Yuriks1 commented Feb 11, 2022

Copy link
Copy Markdown
Contributor

Converted class into a record.

@Yuriks1 Yuriks1 linked an issue Feb 11, 2022 that may be closed by this pull request
@GreenGard GreenGard self-requested a review February 11, 2022 09:49

@GreenGard GreenGard left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

Looks good

@Yuriks1 Yuriks1 merged commit d37ff73 into fungover:main Feb 11, 2022
@Yuriks1 Yuriks1 deleted the Issue-91 branch February 11, 2022 11:43
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.

Convert FileInfo to record

3 participants