Skip to content

M
MariaDB
Commit 9f8619d7 authored by unknown's avatar unknown
Browse files
Options

Merge host.loc:/home/uchum/work/4.1-opt 

into  host.loc:/home/uchum/work/5.0-opt


configure.in:
  Merge with 4.1-opt.
parents 15b8b221 dcb028e1
Hide 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