On 21.03.21 02:31, David Fetter wrote:
I have now read the entire internet on what a suitable name for this function could be. I think the emerging winner is BIT_COUNT(), which already exists in MySQL, and also in Python (int.bit_count()) and Java (Integer.bitCount()).Thanks for doing this tedious work. Please find attached the next version of the patch.
committing, with some polishing