Hi Sanja! The PR is already merged. The point is just that you should read it yourself, fix mysql-test/main/lowercase_table2.result yourself now (so that I don't have to send a PR for it), and try to avoid making the same mistake again. There seems to be something going on in your merge workflow that makes files executable (chmod +x) in vain. Also the way you review your commits makes you omit seeing the git output that tells you that file permissions have changed. I recommend using e.g. `gitk --all` to visualize the contents of git commits. On Tue, 21 Nov 2023 at 04:57, Oleksandr Byelkin <sanja@mariadb.com> wrote:
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