On Wed, Jun 22, 2022 at 8:45 AM Bruce Momjian <br...@momjian.us> 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