Thread Previous • Date Previous • Date Next • Thread Next |
Hi Sergey, Could you take a look at these 2 PRs? MDEV-16768: https://github.com/MariaDB/server/pull/837 You approved this one, but not merged yet. MDEV-15816: https://github.com/MariaDB/server/pull/849 This one was already merged by facebook. Thanks, Ming
Thread Previous • Date Previous • Date Next • Thread Next |