Skip to content

Conversation

@riccardobl
Copy link
Member

No description provided.

@stephengold
Copy link
Member

Thanks for addressing the issue!

@riccardobl riccardobl merged commit 3147667 into master Feb 3, 2020
@stephengold stephengold added the buildscript An issue with the buildscript label Mar 13, 2021
@stephengold stephengold added this to the v3.4.0 milestone Mar 13, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

buildscript An issue with the buildscript

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants