Skip to content

Fix bad NodeId limit checking.#91404

Merged
bors merged 1 commit intorust-lang:masterfrom
nnethercote:fix-bad-NodeId-limit-checking
Dec 1, 2021
Merged

Fix bad `NodeId` limit checking.#91404
bors merged 1 commit intorust-lang:masterfrom
nnethercote:fix-bad-NodeId-limit-checking

Commits

Commits on Dec 1, 2021