PR #20486 Configure optimizer typing fix follow-up

Configure optimizer typing fix follow-up #20486

lantiga merged 1 commit into master from luca/configure-optimizer-return-typing-fix

Configure optimizer typing fix follow-up

465210a8

lantiga requested a review from

Borda 1 year ago

lantiga requested a review from

tchaton 1 year ago

lantiga requested a review from

justusschock 1 year ago

lantiga requested a review from

ethanwharris 1 year ago

github-actions added docs

github-actions added pl

lantiga merged ca59e4e1 into master 1 year ago

lantiga deleted the luca/configure-optimizer-return-typing-fix branch 1 year ago

Reviewers

Borda

tchaton

justusschock

ethanwharris

Assignees

No one assigned

Labels

docs pl

Milestone

No milestone