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

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

Follow-up Comment #1, bug #67822 (group make):=0A=0AThank you for your repo=
rt.=0A=0AThe patch in the attachment fixes this by returning one random tok=
en from the=0Aearlier acquired tokens.=0ATested on linux and SunOs 64 and 3=
2 bits.=0A=0A=0A    _______________________________________________________=
=0A=0AReply to this item at:=0A=0A  <https://savannah.gnu.org/bugs/?67822>=
=0A=0A_______________________________________________=0AMessage sent via Sa=
vannah=0Ahttps://savannah.gnu.org/=0A
--8323329-1189641421-1774066604=:2396386
Content-Type: APPLICATION/pgp-signature; name=signature.asc

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

iHUEABYIAB0WIQQk97aszIMMAvLLwm6qLAuaBUf3TgUCab4brAAKCRCqLAuaBUf3
TthRAP48HZY72upvMWtUB3XaHbunVcTDa3LODPyesDZ4Jjn5HAEAzkrEe9CLxzkX
9jVVVFEWSLrZbd++f10dP7jFu5TLPQ8=
=yG3l
-----END PGP SIGNATURE-----

--8323329-1189641421-1774066604=:2396386--