Hi,
On 2018-11-20 21:49:27 +0700, John Naylor wrote:
> On 11/20/18, Andres Freund <andres@anarazel.de> wrote:
> > I'm
> > sure we'll find some things to adapt around the margins, but imo the
> > patch as a whole looks pretty reasonable.
>
> bki.sgml is now a bit out of date. I've attached a draft fix.
Thanks!
Greetings,
Andres Freund