mirror of
https://github.com/MariaDB/server.git
synced 2025-08-30 11:22:14 +03:00
rw_lock_debug_print(): Add parameter FILE* for specifying the output stream. rw_lock_list_print_info(): Invoke rw_lock_debug_print() on file, not stderr.