[libsingular-julia]: version v0.2.2#2203
Closed
thofma wants to merge 2 commits into
Closed
Conversation
|
On Tue, Dec 01, 2020 at 02:21:32AM -0800, thofma wrote:
@fingolfin: @fieker wants to use the new version now. I think we should not wait for #1798.
You can view, comment on, or merge this pull request online at:
I'm happy witha local build - if I an figure out how.
…
#2203
-- Commit Summary --
* [libsingular-julia]: version v0.2.2
-- File Changes --
M L/libsingular_julia/build_tarballs.jl (4)
-- Patch Links --
https://github.com/JuliaPackaging/Yggdrasil/pull/2203.patch
https://github.com/JuliaPackaging/Yggdrasil/pull/2203.diff
--
You are receiving this because you were mentioned.
Reply to this email directly or view it on GitHub:
#2203
|
Contributor
Author
|
This PR is good to go. |
Member
|
@thofma You first commented "this is good to go", then marked this as a draft, so I guess it is not good to go after all? |
Contributor
Author
|
No, there are some issues that need to be resolved (libsingular-julia is fine, but we don't know yet if we need to put in more changes). |
Member
Contributor
Author
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
@fingolfin: @fieker wants to use the new version now. I think we should not wait for #1798.