1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-27 18:02:13 +03:00

MDEV 4691- address review comments

This commit is contained in:
Vladislav Vaintroub
2016-01-18 19:30:46 +01:00
parent 059c0c8b37
commit 67cf76ad9b
18 changed files with 83 additions and 53 deletions

View File

@ -1,4 +1,4 @@
/* Copyright (c) 2015, Shuang Qiu, Robbie Hardwood,
/* Copyright (c) 2015, Shuang Qiu, Robbie Harwood,
Vladislav Vaintroub & MariaDB Corporation
All rights reserved.