Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add documentation to File required setter. #388

Merged
merged 1 commit into from
Nov 8, 2022

Conversation

DavidSouther
Copy link
Contributor

No description provided.

@matthiasbeyer
Copy link
Collaborator

The CI error comes from a too old rustc version on our side. #389 should fix that. I'll ask you to rebase as soon as #389 has landed, or if you don't care too much, I can do the rebase for you!

@matthiasbeyer
Copy link
Collaborator

Okay, please rebase 🎉

@DavidSouther
Copy link
Contributor Author

Looks like Github did a merge when I synced - is that OK, or do you need it to be a rebase?

@matthiasbeyer
Copy link
Collaborator

Please do a rebase. What github does here messes up the history and just produces noise in the repository, so I'd love to see a rebase here if you don't mind!

@DavidSouther
Copy link
Contributor Author

Totally hear you. Done!

@matthiasbeyer
Copy link
Collaborator

Thank you very much! I'll merge as soon as CI is green.

@matthiasbeyer matthiasbeyer merged commit 7f0dbef into mehcode:master Nov 8, 2022
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.

None yet

2 participants