mirror of
https://github.com/MariaDB/server.git
synced 2025-08-29 00:08:14 +03:00
Cause: * row_start != 0 treated as it exists. Probably, possible row permutations had not been taken in mind. Solution: * Checking both row_start and row_end is correct, so versioned() function is used