Hi, Otto.

It looks a but more than a simple one, I will reassign The PR to more the suitable man to decide.

On Mon, Nov 20, 2023 at 6:01 PM Otto Kekäläinen <otto@kekalainen.net> wrote:
Hi Sanja!

Did you notice my PR https://github.com/MariaDB/server/pull/2779?

I tagged you about a minor bug in you previous merge. I was hoping you
would notice it and review that PR, but Daniel Black jumped on it.

I am asking now because it seems the exact same thing happened for
mysql-test/main/lowercase_table2.result in your commit fecd78b8378
from November 8th, so I thought I'd send an extra email now to ensure
you are aware of this happening.

- Otto