Merged, but it’s not showing up. Not sure if the new pubsub process knows bout Git.
> On Oct 29, 2026, at 8:15 PM, Jason Lingohr <[email protected]> wrote: > > On 28/10/26 23:45, Rich Bowen wrote: >> I would say go with it. Worst case, we need to revert (some of) it. But our >> policy for years has been that docs/website changes, we just go with, and >> then listen for feedback. >> >> So, +1 from me. >> >> > Cool, done and two PRs awaiting you review :) > --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
