Skip to content

remove redundant tangents#435

Merged
mzgubic merged 1 commit intomasterfrom
mz/randtangent
Jun 4, 2021
Merged

remove redundant tangents#435
mzgubic merged 1 commit intomasterfrom
mz/randtangent

Conversation

@mzgubic
Copy link
Member

@mzgubic mzgubic commented Jun 2, 2021

@github-actions github-actions bot added the needs version bump Version needs to be incremented or set to -DEV in Project.toml label Jun 2, 2021
@mzgubic mzgubic requested a review from oxinabox June 3, 2021 19:20
@mzgubic mzgubic removed the needs version bump Version needs to be incremented or set to -DEV in Project.toml label Jun 4, 2021
@mzgubic mzgubic merged commit 51715d5 into master Jun 4, 2021
@mzgubic mzgubic deleted the mz/randtangent branch June 4, 2021 10:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants