Re: [PATCH} Move instrumentation structs

[Álvaro Herrera]

On 2026-Jan-14, David Rowley wrote:

> I'm happy with that suggestion.

Thanks, pushed.

-- 
Álvaro Herrera               48°01'N 7°57'E  —  https://www.EnterpriseDB.com/