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

New version: DirectSum v0.4.0 #3295

Merged
merged 1 commit into from
Sep 7, 2019

Conversation

JuliaRegistrator
Copy link
Contributor

@JuliaRegistrator JuliaRegistrator commented Sep 5, 2019

JuliaRegistrator referenced this pull request in chakravala/DirectSum.jl Sep 5, 2019
@JuliaRegistrator JuliaRegistrator force-pushed the registrator/directsum/22fd7b30/v0.4.0 branch from 04b18f3 to ea84d3c Compare September 6, 2019 20:46
JuliaRegistrator referenced this pull request in chakravala/DirectSum.jl Sep 6, 2019
UUID: 22fd7b3-a8c0-5bf2-aabe-97783860d07c
Repo: https://github.com/chakravala/DirectSum.jl.git
Tree: 11fc5fe515bec02581ab67fbd55cd87f244244af

Registrator tree SHA: f50e50c1d2a1b9694b1d5749fdb25fef2ca4c291
@JuliaRegistrator JuliaRegistrator force-pushed the registrator/directsum/22fd7b30/v0.4.0 branch from ea84d3c to f507679 Compare September 6, 2019 22:20
JuliaRegistrator referenced this pull request in chakravala/DirectSum.jl Sep 6, 2019
@chakravala
Copy link

This needs to be merged to move forward with testing for chakravala/Grassmann.jl#31

@ChrisRackauckas ChrisRackauckas merged commit bec7d93 into master Sep 7, 2019
@delete-merged-branch delete-merged-branch bot deleted the registrator/directsum/22fd7b30/v0.4.0 branch September 7, 2019 19:11
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.

None yet

3 participants