> On 8 May 2019, at 22:28, Justin Clift <justin@postgresql.org> wrote:
>
>> On 2019-05-09 01:13, Dave Page wrote:
>> <snip>
>> Comments etc? I'm out from EOD until Tuesday, but will review any comments
>> somewhen after then, and make changes as appropriate (including following
>> my own suggestions if noone disagrees with them :-p ).
>
> Should some kind of pointer to the Docker PostgreSQL images also be there?
>
> https://hub.docker.com/_/postgres
>
> From a quick glance, they seem to be kept reasonably up to date. :)
Good suggestion, thanks.