On Fri, May 19, 2017 at 3:20 AM, Peter Eisentraut <
peter(dot)eisentraut(at)2ndquadrant(dot)com> wrote:
> Shouldn't this
>
> https://www.postgresql.org/docs/10.0/static/index.html
>
> rather be
>
> https://www.postgresql.org/docs/10/static/index.html
>
> ?
>
Certainly seems that way to me, given the version number we decided on :)
Dave, was there a particular reasoning behind adding the .0 to the url
(since you had to hack the regexps anyway)?
--
Magnus Hagander
Me: https://www.hagander.net/ <http://www.hagander.net/>
Work: https://www.redpill-linpro.com/ <http://www.redpill-linpro.com/>