Follow-up Comment #1, bug #59958 (project groff): Ignore what was said and just look at the patch, you'll see it makes sense :) The race is thus unnecessary(even if it doesn't really affect anyone) and thus patch could be applied to get rid of it.
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?59958>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
