Skip to content
This repository was archived by the owner on May 24, 2026. It is now read-only.

Rename data version - #120

Merged
mdwivedi merged 2 commits into
divegeek:Javacard_KeyMint_100_masterfrom
subrahmanyaman:rename_data_version
Apr 27, 2022
Merged

Rename data version#120
mdwivedi merged 2 commits into
divegeek:Javacard_KeyMint_100_masterfrom
subrahmanyaman:rename_data_version

Conversation

@subrahmanyaman

Copy link
Copy Markdown
Contributor

No description provided.

@mdwivedi
mdwivedi merged commit f4eb552 into divegeek:Javacard_KeyMint_100_masterApr 27, 2022
@subrahmanyaman
subrahmanyaman deleted the rename_data_version branch April 29, 2022 23:37
mdwivedi pushed a commit that referenced this pull request Dec 1, 2022
Sign up for freeto subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants

@subrahmanyaman@mdwivedi