mirror of
https://github.com/MariaDB/server.git
synced 2025-01-31 11:01:52 +01:00
51fc8ab73e
ut_rnd_set_seed(): Unused function; remove. ut_rnd_gen(): Renamed from page_cur_lcg_prng(). ut_rnd_current: The internal state of ut_rnd_gen(). page_cur_open_on_rnd_user_rec(): Replace linear search with page_rec_get_nth(). |
||
---|---|---|
.. | ||
gis0geo.cc | ||
gis0rtree.cc | ||
gis0sea.cc |