Skip to content
GitLab

Revert "i#2717 Change the implementation of options. (#2748)"

Merged Derek Bruening requested to merge i2717-revert-options-changes into master

This reverts commit 97fda644 due to breaking the AArch64 pre-commit, the VPS build, and changing how options that have changed are computed.