bolt: remove deprecated option value for split-functions#110403
Merged
bors merged 1 commit intorust-lang:masterfrom Apr 18, 2023
Merged
bolt: remove deprecated option value for split-functions#110403bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom
