1
0
mirror of https://github.com/MariaDB/server.git synced 2025-08-08 11:22:35 +03:00

Merge branch 'github/10.3' into bb-10.3-temporal

This commit is contained in:
Sergei Golubchik
2018-01-17 00:45:02 +01:00
186 changed files with 3130 additions and 1853 deletions

View File

@@ -18,7 +18,7 @@
@file
This service provides access to the thd-local random number generator.
It's preferrable over the global one, because concurrent threads
It's preferable over the global one, because concurrent threads
can generate random numbers without fighting each other over the access
to the shared rnd state.
*/