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 <bruce@momjian.us> https://momjian.us
EDB https://enterprisedb.com
Do not let urgent matters crowd out time for investment in the future.