Hi,
On 2018-10-08 08:51:03 +0100, Dave Page wrote:
> I don't particularly care - just pointing out that we had previously
> decided not to do that.
Where? I saw a mention of the project, but no plan of action in any
direction?
Greetings,
Andres Freund