mirror of
https://github.com/MariaDB/server.git
synced 2025-01-24 07:44:22 +01:00
f970488ae0
Rename SYNC_LEVEL_NONE to SYNC_LEVEL_VARYING, add comment clarifying what it is used for. |
||
---|---|---|
.. | ||
Makefile.am | ||
thr0loc.c |