TacOS-team/tacos — comment on commit 2ac749f4a3f531eea2d26e772fa5ea152b809386
File: kernel/ksem.c line 212
By MaximeCheramy:

Il ne gérait pas mieux le cas où key == NULL :P. Je viens de corriger localement.