chore: deprecate Setoid.Rel
#36926
label_new_contributor.yml
on: pull_request
label-and-report-new-contributor
5s
Setoid.Rel
#36926