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

Added devnet49 #1399

Merged

vishalchangrani merged 1 commit into master from janez/add-devnet-49

Nov 2, 2023

Contributor

janezpodhostnik commented Nov 2, 2023

Closes: #???

Description

For contributor use:

Targeted PR against master branch
Linked to Github issue with discussion and accepted design OR link to spec that describes this work.
Updated relevant documentation
Re-reviewed Files changed in the Github PR explorer
Added appropriate labels


          Add devnet49

79e186a

janezpodhostnik requested review from vishalchangrani and peterargue

November 2, 2023 15:59

janezpodhostnik self-assigned this

vishalchangrani approved these changes

View reviewed changes

vishalchangrani merged commit 0b3ef54 into master

1 check passed

vishalchangrani deleted the janez/add-devnet-49 branch

November 2, 2023 16:11

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet