New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Rename CMake option CHAI_DISABLE_RM to CHAI_ENABLE_MANAGER #250

Open

adayton1 wants to merge 2 commits into develop from task/rename_cmake_option

Member

adayton1 commented Mar 4, 2024

Rename to avoid a confusing double negative

adayton1 added 2 commits

March 4, 2024 09:53


          Rename CHAI_DISABLE_RM to CHAI_ENABLE_MANAGER

a949f6d


          Added release note for CMake option rename

f924c9b

adayton1 requested review from robinson96, liu15 and rchen20

March 4, 2024 17:56

rchen20 approved these changes

View reviewed changes

Member Author

adayton1 commented Mar 4, 2024

I'm going to wait until after the release to merge this in.

liu15 approved these changes

View reviewed changes

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet