PR #55255 more small changes for trimming

more small changes for trimming #55255

JeffBezanson merged 3 commits into master from jb/trimmingmisc

vtjnash commented on 2024-07-26

JeffBezanson force pushed from b4106918 to 9abf6f00 1 year ago

vtjnash approved these changes on 2024-07-26

avoid unnecessary inexact check in `write(::IO, ::String)`

920c936f

improve task_done_hook code for trimming

ecf08ce3

make `Sysinfo.__init__` easier to compile

b0c22817

JeffBezanson force pushed from 9abf6f00 to b0c22817 1 year ago

JeffBezanson merged 19165bec into master 1 year ago

JeffBezanson deleted the jb/trimmingmisc branch 1 year ago

Reviewers

vtjnash

fingolfin

Assignees

No one assigned

Labels

None yet

Milestone

No milestone