![](https://secure.gravatar.com/avatar/ff779c7bded6dec5af8c46f41eea1c0b.jpg?s=120&d=mm&r=g)
21 Nov
2023
21 Nov
'23
12:57 p.m.
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
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