Sept. 25, 2019
1:22 p.m.
On Wed, 25 Sep 2019 at 13:51, Stéphane Ducasse <stephane.ducasse@inria.fr> wrote:
Hi
Normally each time a PR is integrated in a book, the CI is generating the PDF. https://github.com/SquareBracketAssociates/Booklet-uFFI/releases
So what you can do is to not bother and copy-edit and we fix the corresponding pillar if you break it.
Hey Stef :) I'm guessing you mean to encourage Ted to "not worry" rather than "not bother" https://www.phrasemix.com/phrases/not-bother-doing-something cheers -ben