Skip to content

Rename Waidid* to WaidId*, for consistency with WaitId.#1267

Merged
sunfishcode merged 1 commit into
mainfrom
sunfishcode/waitid
Jan 13, 2025
Merged

Rename Waidid* to WaidId*, for consistency with WaitId.#1267
sunfishcode merged 1 commit into
mainfrom
sunfishcode/waitid

Rename `Waidid*` to `WaidId*`, for consistency with `WaitId`.

024737b
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs