Maintainer merge

[Merged by Bors] - fix(Algebra/FreeMonoid): fix recursor argument names #305241

Sign in to view logs

Triggered via pull request July 19, 2026 18:21

plp127

submitted #41929

Status Skipped

Total duration 1s

Artifacts –

maintainer_merge.yml

on: pull_request_review

Ping maintainers on Zulip