On Thu, Nov 17, 2022 at 7:20 AM Tamás Cservenák <[email protected]> wrote: > > Howdy, > > Yes, that's right, the "bootstrap" effort is not the same, true. >
That's a good way of putting it. I care a lot more about the bootstrap effort (performed manually by people) than build time, where I can go get a cup of coffee and browse Reddit. It's not like I'm building the site on every hit to the docs or every time I run a test. It's a batch job that doesn't happen that often so I'm not willing to trade much to speed it up. -- Elliotte Rusty Harold [email protected] --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
