On Wed, Jun 22, 2022 at 8:45 AM Bruce Momjian <[email protected]> wrote: > That is a big help for committers who want to email a URL of the new > doc commit output.
Yes, it's a nice "quality of life" improvement. Thanks for finally getting this done! -- Peter Geoghegan
