Skip to content

Terminate JuniDB#1474

Merged
Noc2 merged 1 commit intomasterfrom
terminate-juni-db
Jan 26, 2023
Merged

Terminate JuniDB#1474
Noc2 merged 1 commit intomasterfrom
terminate-juni-db

Conversation

@takahser
Copy link
Copy Markdown
Contributor

@takahser takahser added the ready for review The project is ready to be reviewed by the committee members. label Jan 26, 2023
@Noc2 Noc2 merged commit feb44dc into master Jan 26, 2023
@Noc2 Noc2 deleted the terminate-juni-db branch January 26, 2023 13:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ready for review The project is ready to be reviewed by the committee members.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants