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.

Sign up for GitHub

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

Jump to bottom

[frontend] Minor fixes #4986

Merged
merged 1 commit into from Nov 28, 2023
Merged

[frontend] Minor fixes #4986

merged 1 commit into from Nov 28, 2023

Conversation

Kedae
Copy link
Member

@Kedae Kedae commented Nov 27, 2023

No description provided.

@Kedae Kedae added the filigran team use to identify PR from the Filigran team label Nov 27, 2023
@Kedae Kedae force-pushed the issue/4765 branch 2 times, most recently from afebe21 to 2f4f170 Compare November 28, 2023 10:37
@SamuelHassine SamuelHassine merged commit 58ae024 into master Nov 28, 2023
2 of 5 checks passed
@SamuelHassine SamuelHassine deleted the issue/4765 branch November 28, 2023 10:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@marieflorescontact marieflorescontact marieflorescontact approved these changes

Assignees
No one assigned
Labels
filigran team use to identify PR from the Filigran team
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
3 participants
@Kedae @marieflorescontact @SamuelHassine