Change uses of \000 to \x00
Follow-up to !1950 (merged).
This changes existing uses of \000
to \x00
for style reasons (documented in !1950 (merged)).
Follow-up to !1950 (merged).
This changes existing uses of \000
to \x00
for style reasons (documented in !1950 (merged)).