Hi, On 2018-11-20 21:49:27 +0700, John Naylor wrote: > On 11/20/18, Andres Freund <and...@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
