Skip to content

Rename one method of run_work_thunk() to run_work_thunk_remotevalue(); this fixes a JET error around matching methods for run_work_thunk(...) #41

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

Closed
DilumAluthge wants to merge 1 commit into from

Rename one method of `run_work_thunk()` to `run_work_thunk_remotevalu…

2c08d62
Select commit
Loading
Failed to load commit list.
Closed

Rename one method of run_work_thunk() to run_work_thunk_remotevalue(); this fixes a JET error around matching methods for run_work_thunk(...) #41

Rename one method of `run_work_thunk()` to `run_work_thunk_remotevalu…
2c08d62
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar