Hi, On 2023-May-22, Tristan Partin wrote:
> Some files were missing information from the c.h header. Actually, these omissions are intentional, and we have bespoke handling for this in our own header-checking scripts (src/tools/pginclude). I imagine this is documented somewhere, but ATM I can't remember where. (And if not, maybe that's something we should do.) -- Álvaro Herrera 48°01'N 7°57'E — https://www.EnterpriseDB.com/
