mirror of
https://github.com/MariaDB/server.git
synced 2025-01-19 21:42:35 +01:00
7d263d1072
Detailed revision comments: r6100 | jyang | 2009-10-22 06:51:07 +0300 (Thu, 22 Oct 2009) | 6 lines branches/zip: As a request from mysql, WARN_LEVEL_ERROR cannot be used for push_warning_* call any more. Switch to WARN_LEVEL_WARN. Bug #47233. rb://172 approved by Sunny Bains and Marko. |
||
|---|---|---|
| .. | ||
| include | ||
| r | ||
| t | ||