On Wed, Jan 29, 2025 at 2:26 PM Jacob Brazeal <jacob.braz...@gmail.com> wrote: > > > I just noticed this, too: > > > > -# DROP DATABASE should drops it's slots, including active slots. > > +# DROP DATABASE should drops its slots, including active slots. > > > > "should drop" > > Ah, good catch. Fixed in v3.
(Note: You forgot reply-all for your later messages). I ran pgindent after applying and found it re-indented an entire paragraph. That seemed like an unfortunate side-effect for a typo fix, so I took the liberty of adding an additional space after a period. Some comments use the two-space style anyway. Pushed, thanks for the patch! -- John Naylor Amazon Web Services