Skip to content

refactor: Environment.get_network_descriptor() returns a ref, not an option#2220

Merged
mergify[bot] merged 4 commits intomasterfrom
ericswanson/network-descriptor-not-option
May 23, 2022
Merged

refactor: Environment.get_network_descriptor() returns a ref, not an option#2220
mergify[bot] merged 4 commits intomasterfrom
ericswanson/network-descriptor-not-option

Commits

Commits on May 20, 2022