21 Nov
2023
21 Nov
'23
7:57 a.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 <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