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.
