Skip to content

Re-introduce all_processes_with_root.#184

Merged
eminence merged 1 commit intoeminence:masterfrom
sunfishcode:with-root
Jul 11, 2022
Merged

Re-introduce all_processes_with_root.#184
eminence merged 1 commit intoeminence:masterfrom
sunfishcode:with-root

Conversation

@sunfishcode
Copy link
Contributor

It apppears I accidentally removed all_processes_with_root in #171.
This PR reintroduces it.

It apppears I accidentally removed `all_processes_with_root` in eminence#171.
This PR reintroduces it.
@eminence eminence merged commit 31b0910 into eminence:master Jul 11, 2022
@sunfishcode sunfishcode deleted the with-root branch July 11, 2022 19:20
@eminence
Copy link
Owner

Thank you!

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

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants