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

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

Follow-up Comment #2, bug #67822 (group make):=0A=0A"Random token" doesn't =
really solve the problem.  It should return exactly the=0Asame token it acq=
uired to start the job that has just finished.  Otherwise,=0Asteve won't be=
 able to correctly determine how long the tokens are held.=0A=0A=0A    ____=
___________________________________________________=0A=0AReply to this item=
 at:=0A=0A  <https://savannah.gnu.org/bugs/?67822>=0A=0A___________________=
____________________________=0AMessage sent via Savannah=0Ahttps://savannah=
.gnu.org/=0A
--8323329-1189641421-1774073847=:2441091
Content-Type: APPLICATION/pgp-signature; name=signature.asc

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

iHUEABYIAB0WIQQk97aszIMMAvLLwm6qLAuaBUf3TgUCab439wAKCRCqLAuaBUf3
Tjh2AP9srt36mu3Eh1Xv2IuBy+aYx8ehMpCz/PP22xm5JctGHwD/ZLWKBA5xahKc
uNdVF0zeNi/wquWO+2wtbllMv5mYtQ4=
=Xo09
-----END PGP SIGNATURE-----

--8323329-1189641421-1774073847=:2441091--