Avoid using sizeof('\0') to compute size for NUL-terminator. - #277

Avoid using sizeof('\0') to compute size for NUL-terminator.#277

fstromback wants to merge 1 commit into

Ravenbrook:masterRavenbrook/mps:masterfrom

fstromback:no-sizeof-charfstromback/mps:no-sizeof-charCopy head branch name to clipboard