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

renamed run_ondemand to run_on_demand #3116

Merged

kchibisov merged 1 commit into rust-windowing:master from epimeletes:rename_run_ondemand

Oct 3, 2023

Contributor

epimeletes commented Sep 26, 2023

Renamed the function as discussed in #2900 (comment)


          renamed run_ondemand to run_on_demand

1b7a715

epimeletes requested review from msiglreith, madsmtm and kchibisov as code owners

September 26, 2023 15:05

daxpedda approved these changes

View reviewed changes

Member

daxpedda left a comment

Thank you!

kchibisov approved these changes

View reviewed changes

kchibisov merged commit ee0db52 into rust-windowing:master

50 checks passed

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

Reviewers

daxpedda daxpedda approved these changes

kchibisov kchibisov approved these changes

msiglreith Awaiting requested review from msiglreith msiglreith is a code owner

madsmtm Awaiting requested review from madsmtm madsmtm is a code owner