The revision number links will take you to the revision's page on GitHub. On GitHub you can view more details of the revision and view diffs of the code modified in that revision.Includes all fixes from MariaDB 10.4.13 Revision #5018b998a7 2020-06-23 17:07:03 +0200 return --help ...