Skip to content

Revert "[ADT] Make set_subtract more efficient when subtrahend is larger (NFC)" #13024

Revert "[ADT] Make set_subtract more efficient when subtrahend is larger (NFC)"

Revert "[ADT] Make set_subtract more efficient when subtrahend is larger (NFC)" #13024

Triggered via pull request July 17, 2024 21:01
Status Success
Total duration 16s
Artifacts

merged-prs.yml

on: pull_request_target
buildbot_comment
9s
buildbot_comment
Fit to window
Zoom out
Zoom in