Re: [PATCH] Fix parallel build failure for Texinfo manual

[Morgan Smith]

Applied, as commit b6c5f028a

This message is being sent to update our issue tracker at
https://tracker.orgmode.org