mirror of
https://github.com/MariaDB/server.git
synced 2026-10-23 18:49:29 +03:00
Reverting version change to match the version of supporting
packages available on buildbot.
This commit is contained in:
packages available on buildbot.