> On Jun 14, 2024, at 11:25, Chapman Flack <jcflack@acm.org> wrote:
>
> I would s/extepsions/exceptions/ in the added documentation. :)
Bah, fixed and attached, thanks.
> Offhand (as GitHub PRs aren't really The PG Way), if they were The Way,
> I would find this one a little hard to follow, being based at a point
> 28 unrelated commits ahead of the ref it's opened against. I suspect
> 'master' on theory/postgres could be fast-forwarded to f1affb6 and then
> the PR would look much more approachable.
Yeah, I pushed the PR and branch before I synced master, and GitHub was taking a while to notice and update the PR. I
fixedit with `git commit --all --amend --date now --reedit-message HEAD` and force-pushed (then fixed the typo and
fixedagain).
D