On Wed, Jun 22, 2022 at 8:45 AM Bruce Momjian <bruce(at)momjian(dot)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