Skip to content
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.

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

Update tetgen to version 1.5.1, Aug. 18, 2018. #2618

Merged
merged 1 commit into from Aug 19, 2019
Merged

Conversation

@endJunction
Copy link
Member

endJunction commented Aug 19, 2019

  1. Feature description was added to the changelog
@bilke bilke merged commit a72f8b2 into ufz:master Aug 19, 2019
2 of 3 checks passed
2 of 3 checks passed
ufz.ogs #20190819.8 failed
Details
continuous-integration/jenkins/pr-merge This commit looks good
Details
deploy/netlify Deploy preview ready!
Details
@endJunction endJunction deleted the endJunction:UpdateTetgen branch Aug 19, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
2 participants
You can’t perform that action at this time.