mirror of
https://github.com/MariaDB/server.git
synced 2025-11-28 17:36:30 +03:00
(thanks to Christian Hammers from the Debian project for providing it) - Updated version number in man pages (3.23 -> 4.0)
2.3 KiB
2.3 KiB