diff options
author | Sergei Petrunia <psergey@askmonty.org> | 2017-08-06 15:37:27 +0300 |
---|---|---|
committer | Sergei Petrunia <psergey@askmonty.org> | 2017-08-06 15:37:27 +0300 |
commit | 24a25a2c11a62accc77d3d3ed68cd58e2efd511e (patch) | |
tree | 693f6575a85c3d9ed801ceeff4c456b9196e9603 /vio | |
parent | 93a6eed60749ed81c0a842b2705b19f7c296c7c2 (diff) | |
parent | 6d51817d2cd79edbc15328bef532a5375f184219 (diff) | |
download | mariadb-git-24a25a2c11a62accc77d3d3ed68cd58e2efd511e.tar.gz |
Merge branch '10.2' of github.com:MariaDB/server into bb-10.2-mariarocks
Diffstat (limited to 'vio')
0 files changed, 0 insertions, 0 deletions