On Fri, Nov 21, 2025 at 01:13:50PM +0100, Peter Eisentraut wrote: > On 21.11.25 01:49, Bruce Momjian wrote: > > Actually, another discussion would be why we have src/tools/codelines in > > the git tree at all. I added it in 2005 to use in counting code lines, > > and I thought we could consider it our standard method, but I am not > > sure anyone aside from me even uses it, and it is clear there are > > multiple methods people consider valid. Should we just remove it? > > I think so.
Removed. -- Bruce Momjian <[email protected]> https://momjian.us EDB https://enterprisedb.com Do not let urgent matters crowd out time for investment in the future.
