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

Remove dead footnote 14 #166

Merged
merged 2 commits into from May 15, 2024
Merged

Remove dead footnote 14 #166

merged 2 commits into from May 15, 2024

Conversation

skounis
Copy link
Contributor

@skounis skounis commented Apr 25, 2024

Resolves #140

@skounis skounis changed the title Feat/issue 140 footnote Remove dead footnote 14 Apr 25, 2024
pinamiranda
pinamiranda approved these changes May 15, 2024
View reviewed changes
Copy link
Contributor

@pinamiranda pinamiranda left a comment

Choose a reason for hiding this comment

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

Approved. We need to check if this dead footnote is present in ARF 1.4.

@pinamiranda pinamiranda merged commit 80ce339 into eu-digital-identity-wallet:main May 15, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@pinamiranda pinamiranda pinamiranda approved these changes

@duviner duviner duviner approved these changes

@paolo-de-rosa paolo-de-rosa Awaiting requested review from paolo-de-rosa

Assignees

@pinamiranda pinamiranda

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Take out footnote 14 and renumber the rest
3 participants
@skounis @pinamiranda @duviner