← Back to team overview

maria-developers team mailing list archive

  1. maria-developers team
  2. Mailing list archive
  3. Message #11418

Re: 2 pull requests

  Thread Previous • Date Previous • • Thread Next 
On Thu, Aug 30, 2018 at 12:36 AM, Ming Lin <minggr@xxxxxxxxx> wrote:
> Hi Sergey,
>
> Could you take a look at these 2 PRs?

Ping ...

>
> 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

References

  Thread Previous • Date Previous • • Thread Next