That's not a typo. "nul" refers to character '\0' to distinguish it from "NULL" which is a pointer.
https://en.wikipedia.org/wiki/Null_character
Although Google suggests the industry has changed in recent years and often likes to spell it as "null" these days. I don't mind too much either way but "nul" with a single L is historically the more accurate term when referring to character zero.
« Back to merge proposal
That's not a typo. "nul" refers to character '\0' to distinguish it from "NULL" which is a pointer.
https:/ /en.wikipedia. org/wiki/ Null_character
Although Google suggests the industry has changed in recent years and often likes to spell it as "null" these days. I don't mind too much either way but "nul" with a single L is historically the more accurate term when referring to character zero.