mirror of
https://github.com/MariaDB/server.git
synced 2026-05-16 20:07:13 +02:00
Merge branch '10.1' into 10.2
This commit is contained in:
commit
f2ccfcaca1
7 changed files with 33 additions and 12 deletions
|
|
@ -93,7 +93,7 @@ ENDIF()
|
|||
|
||||
|
||||
########################################################################
|
||||
# xbstream binary
|
||||
# mbstream binary
|
||||
########################################################################
|
||||
MYSQL_ADD_EXECUTABLE(mbstream
|
||||
ds_buffer.cc
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue