mirror/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2025-01-24 07:44:22 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions
175574 commits 2778 branches 343 tags 1.6 GiB
Commit graph

7 commits

Author SHA1 Message Date
Sergei Golubchik
077f29a921 Merge branch 'merge/merge-tokudb-5.6' into 10.0 
5.6.31-77.0
 2016-08-10 19:57:13 +02:00
Sergei Golubchik
4f2d214359 5.6.31-77.0 2016-08-10 19:30:20 +02:00
Sergei Golubchik
ecdf46daed Merge branch '10.0-tokudb-merge' into 10.0 2016-06-11 22:56:48 +02:00
Bernard Spil
ee687771ee Use /bin/sh 
Remove Linuxism. 

Works fine with a POSIX-compat shell
 2016-03-21 11:43:19 +01:00
Sergei Golubchik
15f7f5c6bb Merge branch 'merge-tokudb-5.6' into 10.0 2015-12-15 20:13:09 +01:00
Sergei Golubchik
dcc501aec3 5.6.27-76.0 2015-12-15 17:23:58 +01:00
Sergei Golubchik
2c8c652978 5.6.26-74.0 2015-10-26 12:57:57 +01:00