mirror of
https://github.com/MariaDB/server.git
synced 2026-05-17 20:37:12 +02:00
- Took the original patch by Ondrej Sury; - Applied a fix for a known problem in the patch: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=882062 - Fixed a few other issues |
||
|---|---|---|
| .. | ||
| groonga | ||