← Back to team overview

maria-developers team mailing list archive

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

2 pull requests

  Thread Previous • Date Previous • • 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

Follow ups

  Thread Previous • Date Previous • • Thread Next