mirror of
https://github.com/MariaDB/server.git
synced 2025-09-02 09:41:40 +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.