[bug #67822] GNU make does not write back the same character it read from the jobserver

--8323329-1189641421-1774066452=:2395798
Content-Type: TEXT/plain; CHARSET=utf-8
Content-Transfer-Encoding: QUOTED-PRINTABLE
Content-Disposition: inline

Additional Item Attachment, bug #67822 (group make):=0A=0AName: sv67822.dif=
f                   Size: 17KiB=0A    <https://file.savannah.gnu.org/file/s=
v67822.diff?file_id=3D58384>=0A=0A=0A    AGPL NOTICE=0A=0AThese attachments=
 are served by Savane. You can download the corresponding=0Asource code of =
Savane at=0Ahttps://savannah.gnu.org/source/savane-9b684d621d606340ec3f8b1a=
290873daf3ff5474.tar.gz=0A=0A=0A    _______________________________________=
________________=0A=0AReply to this item at:=0A=0A  <https://savannah.gnu.o=
rg/bugs/?67822>=0A=0A_______________________________________________=0AMess=
age sent via Savannah=0Ahttps://savannah.gnu.org/=0A
--8323329-1189641421-1774066452=:2395798
Content-Type: APPLICATION/pgp-signature; name=signature.asc

-----BEGIN PGP SIGNATURE-----

iHUEABYIAB0WIQQk97aszIMMAvLLwm6qLAuaBUf3TgUCab4bFAAKCRCqLAuaBUf3
Trz8AQCh6W3sLI3Si5SFcJGMWQtv5z0b/C1vrUEvYFmQJi/mbAEAyqxjCXHO0HQm
p9mrAz8xCbl3KOK/MMX0GZbxRh+URgM=
=xcXw
-----END PGP SIGNATURE-----

--8323329-1189641421-1774066452=:2395798--