Re: Add errdetail() with PID and UID about source of termination signal

On 2026-04-15 We 7:45 AM, Kirill Reshke wrote:
> I am seeing 3e2a1496bae628c379ca0a11ef5f5ba666f24ae8 merged into
> master today, and I am a bit surprised.
>
> This is a feature for my taste and the feature freeze was on 8th April
> 12 UTC. Am I wrong?
>


It's a fix for a feature that was committed before feature freeze.


cheers


andrew

--
Andrew Dunstan
EDB: https://www.enterprisedb.com