12 Jul
2022
12 Jul
'22
4:30 p.m.
On Tue Jul 12 16:29:10 2022 +0000, Jinoh Kang wrote:
Eh, nevermind, perhaps `*id` is permitted to be NULL.
The existing call sites do check whether it is NULL.