1
0
mirror of https://github.com/MariaDB/server.git synced 2025-08-01 03:47:19 +03:00

Formatting changes

This commit is contained in:
Inaam Rana
2010-06-10 09:58:11 -04:00
parent 28187edf33
commit e40c3b9763
5 changed files with 5 additions and 5 deletions

View File

@ -58,7 +58,7 @@ delete marked clustered index record was delete unmarked and possibly also
some of its fields were changed. Now, it is possible that the delete marked
version has become obsolete at the time the undo is started. */
/*********************************************************************//**
/*************************************************************************
IMPORTANT NOTE: Any operation that generates redo MUST check that there
is enough space in the redo log before for that operation. This is
done by calling log_free_check(). The reason for checking the