Re: Combine headerscheck and cpluspluscheck scripts

[Peter Eisentraut]

On 07.03.24 08:30, Michael Paquier wrote:

On Thu, Mar 07, 2024 at 01:37:36PM +1300, Thomas Munro wrote:

+1

Looking at the patch, nice cleanup.

Committed, thanks.