mirror of
https://github.com/MariaDB/server.git
synced 2025-11-12 10:22:39 +03:00
Rather than bumping the version again, *d036cc9b2f, and again *5a4ec8e60b, and again * 7f19330c595e3183d079fe2c18eecc74740e8f83; Just accept version numbers change. Also accept that people may want to test this against more than one version.
431 B
431 B