mirror of https://github.com/MariaDB/server
Browse Source
2. Embed plugin version into the RPM package version introduce SERVER_VERSION, because plugins can overwrite VERSION (and columnstore actually does)pull/1712/head
4 changed files with 11 additions and 3 deletions
Loading…
Reference in new issue