Re: Installation instructions vs binaries

On Tue, Oct 6, 2020 at 1:58 PM Daniel Gustafsson <daniel@yesql.se> wrote:

> On 15 Sep 2020, at 02:43, David G. Johnston <david.g.johnston@gmail.com> wrote:
> On Tue, Sep 8, 2020 at 8:05 AM Magnus Hagander <magnus@hagander.net <mailto:magnus@hagander.net>> wrote:

> That leaves just the part of adding the actual new chapter of my patch. PFA. Thoughts on that?

+1 on this version of the patch.

It seems a bit odd to me to capitalize Download, but since it's the name of the
referenced section I guess it's ok. Personally I'd have lowercased it.
+  the Download section on the <productname>PostgreSQL</productname> website at

Yeah, that was based on the fact that it's like that on the website. But I agree, it's a bit weird. I'll go change it.

Thanks to you both, pushed!