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

Make ProtectedHeader members public #45

Merged
merged 1 commit into from
Dec 2, 2024
Merged

Conversation

Xynnn007
Copy link
Contributor

@Xynnn007 Xynnn007 commented Dec 1, 2024

This is a fix patch to make the ProtectedHeader member public, thus downstream can edit the fields.

Signed-off-by: Xynnn007 <xynnn@linux.alibaba.com>
@tylerfanelli tylerfanelli merged commit f47881f into virtee:main Dec 2, 2024
3 checks passed
@tylerfanelli
Copy link
Member

@Xynnn007 Are you planning on submitting more changes? If not, I can update the crate.

@Xynnn007 Xynnn007 deleted the fix-pub branch December 2, 2024 03:55
@Xynnn007
Copy link
Contributor Author

Xynnn007 commented Dec 2, 2024

@Xynnn007 Are you planning on submitting more changes? If not, I can update the crate.

I think not. I have test locally with the changes and it works fine. Thanks for your help!

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.

3 participants