Skip to content
This repository has been archived by the owner on Aug 19, 2024. It is now read-only.

version 0.1.5, [skip vbump] #131

Merged
merged 2 commits into from
Jul 20, 2023
Merged

version 0.1.5, [skip vbump] #131

merged 2 commits into from
Jul 20, 2023

Conversation

shajoezhu
Copy link
Contributor

Pull Request

Fixes #nnn

@shajoezhu shajoezhu requested a review from edelarua July 14, 2023 16:47
@shajoezhu shajoezhu added the sme label Jul 14, 2023
Copy link
Contributor

@edelarua edelarua left a comment

Choose a reason for hiding this comment

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

Lgtm!

@shajoezhu shajoezhu merged commit 5b08051 into main Jul 20, 2023
@shajoezhu shajoezhu deleted the ocean_releae_0.1.5_branch branch July 20, 2023 12:01
# for free to subscribe to this conversation on GitHub. Already have an account? #.
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants