-
-
Notifications
You must be signed in to change notification settings - Fork 544
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
gap: switch more code to offical libgap APIs #35761
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Unfortunately, I'm not able to help more than that.
This comment was marked as outdated.
This comment was marked as outdated.
Seems there is a segfault now, due to a bad Maybe this is a GC issue: I just noticed that So I'll remove that from this PR for now, I can still submit it again (and debug it) in a future PR. Of course if that doesn't resolve the issue, then some more digging is needed... |
27ae9a8
to
01934a2
Compare
58611ca
to
d3d9899
Compare
I removed more parts of this PR. I hope the remaining bits will work fine. Perhaps it is best if I wait until this PR is merged, and then re-submit the bits I removed as separate PRs. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
gut, danke schoen
merge conflict |
d3d9899
to
fb0908e
Compare
rebased |
Documentation preview for this PR (built with commit fb0908e; changes) is ready! 🎉 |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
ok again
No description provided.