mirror of
https://github.com/MariaDB/server.git
synced 2025-01-22 23:04:20 +01:00
567abed2ca
buf_page_make_young(), like ibuf_update_free_bits_if_full() does. This difference was pointed out by Sunny. |
||
---|---|---|
.. | ||
ibuf0ibuf.c |