Re: [Maria-developers] 8f8e7ad5c80: MDEV-27217 DELETE partition selection doesn't work for history partitions
13 Jan
2022
13 Jan
'22
12:23 p.m.
Hi, Aleksey! ok to push. see one comment below. On Jan 13, Aleksey Midenkov wrote:
this seems to be redundant, the else branch at the end covers it.
else if (error == HA_ERR_ROW_IN_WRONG_PARTITION) {
Regards, Sergei VP of MariaDB Server Engineering and security@mariadb.org
1092
Age (days ago)
1092
Last active (days ago)
0 comments
1 participants
participants (1)
-
Sergei Golubchik