maria-developers team mailing list archive

[Sergey Petrunia <sergey@xxxxxxxxxxx>]

Hi Kristian,

On Mon, Sep 11, 2017 at 01:02:31PM +0200, Kristian Nielsen wrote:
> Sergey Petrunia <sergey@xxxxxxxxxxx> writes:
> 
> > This is about https://jira.mariadb.org/browse/MDEV-11934. I've encountered 
> > an insteresting issue here, so I thought I would consult on both MyRocks and
> > MariaDB lists.
> 
> Is your current code available somewhere?
> 

No, it wasn't. Just pushed the current code into bb-10.2-mdev11934 branch:

https://github.com/MariaDB/server/tree/bb-10.2-mdev11934

All changes are in the last commit.

BR
 Sergei
-- 
Sergei Petrunia, Software Developer
MariaDB Corporation | Skype: sergefp | Blog: http://s.petrunia.net/blog