Skip to content

Rename BoxedRound::new_dynamic to just new - #112

Closed
dvdplm wants to merge 2 commits into
masterfrom
dp-rename-new_dynamic
Closed

Rename BoxedRound::new_dynamic to just new#112
dvdplm wants to merge 2 commits into
masterfrom
dp-rename-new_dynamic

Correct PR number

2b8c678
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs