mirror of
https://github.com/MariaDB/server.git
synced 2025-01-29 10:14:19 +01:00
Merge trift2.:/MySQL/M50/push-5.0
into trift2.:/MySQL/M51/push-5.1 configure.in: 5.0 version change does not affect 5.1 - "use local".
This commit is contained in:
commit
0247dc1f2a