Skip to content

M
MariaDB
Commit 04937c91 authored by unknown's avatar unknown
Browse files
Options

Merge debian.(none):/M50/push-5.0 

into  debian.(none):/M51/push-5.1


configure.in:
  Manual merge - no change in 5.1
parents 80d23163 e29d7c5f
Show whitespace changes
Inline Side-by-side
Showing with 0 additions and 0 deletions
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment
GitLab Nexedi Edition | About GitLab | About Nexedi | 沪ICP备2021021310号-2 | 沪ICP备2021021310号-7