Skip to content

Conversation

@JeffBezanson
Copy link
Member

No description provided.

@JeffBezanson JeffBezanson added embedding Embedding Julia using the C API backport 1.7 labels Sep 28, 2021
Co-authored-by: Jameson Nash <[email protected]>
@vtjnash vtjnash added the merge me PR is reviewed. Merge when all tests are passing label Sep 30, 2021
@JeffBezanson JeffBezanson merged commit c5cb029 into master Sep 30, 2021
@JeffBezanson JeffBezanson deleted the jb/jloptions branch September 30, 2021 20:12
@DilumAluthge DilumAluthge removed the merge me PR is reviewed. Merge when all tests are passing label Oct 2, 2021
KristofferC pushed a commit that referenced this pull request Oct 5, 2021
Co-authored-by: Jameson Nash <[email protected]>
(cherry picked from commit c5cb029)
LilithHafner pushed a commit to LilithHafner/julia that referenced this pull request Feb 22, 2022
LilithHafner pushed a commit to LilithHafner/julia that referenced this pull request Mar 8, 2022
@musm
Copy link
Contributor

musm commented Mar 30, 2022

This is missing a backport for 1.6. It should've made into the 1.6.x release, but was missed.

@musm
Copy link
Contributor

musm commented Mar 30, 2022

We just noticed this as we were trying to call this option without success on 1.6, but it works on 1.7 and 1.5.
I've added the appropriate backport label. @KristofferC this is my first time with adding the label, so please let me know if I need to do anything else.

@musm musm added the backport 1.6 Change should be backported to release-1.6 label Mar 30, 2022
@KristofferC KristofferC mentioned this pull request May 16, 2022
45 tasks
@KristofferC KristofferC removed the backport 1.6 Change should be backported to release-1.6 label May 23, 2022
@KristofferC
Copy link
Member

Backported in #45308.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

embedding Embedding Julia using the C API

Projects

None yet

Development

Successfully merging this pull request may close these issues.

6 participants