julia
also redirect JL_STDERR etc. when redirecting to devnull
#55958
Merged

also redirect JL_STDERR etc. when redirecting to devnull #55958

IanButterworth
IanButterworth IanButterworth requested a review from vtjnash vtjnash 1 year ago
Keno
Keno commented on 2024-10-01
IanButterworth IanButterworth added backport 1.10
IanButterworth IanButterworth added backport 1.11
IanButterworth IanButterworth added bugfix
IanButterworth
IanButterworth
IanButterworth IanButterworth force pushed from 321f1165 to 46e69cb6 1 year ago
IanButterworth IanButterworth force pushed from 46e69cb6 to a3f3589b 1 year ago
IanButterworth IanButterworth force pushed from a3f3589b to 6d14d912 1 year ago
IanButterworth
IanButterworth IanButterworth force pushed from 6d14d912 to 2ee5fbfb 1 year ago
IanButterworth IanButterworth force pushed from 2ee5fbfb to f4ca02f8 1 year ago
IanButterworth also redirect JL_STDERR etc. when redirecting to devnull
9665f772
IanButterworth IanButterworth force pushed from f4ca02f8 to 9665f772 1 year ago
vtjnash
IanButterworth
vtjnash Update stream.jl
8679995e
vtjnash Update stream.jl
49bc66b8
vtjnash Update stream.jl
c5710cf1
vtjnash vtjnash added merge me
DilumAluthge Merge branch 'master' into ib/redirect_stdio_devnull_c
20846efb
IanButterworth IanButterworth merged bcbe9fe9 into master 241 days ago
IanButterworth IanButterworth deleted the ib/redirect_stdio_devnull_c branch 241 days ago
DilumAluthge DilumAluthge removed merge me
github-actions github-actions removed backport 1.11
KristofferC KristofferC removed backport 1.10

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
Milestone