1
0
mirror of https://github.com/MariaDB/server.git synced 2025-05-10 02:01:19 +03:00

1 Commits

Author SHA1 Message Date
thek@adventure.(none)
92724ecb3d Bug#35997 Event scheduler seems to let the server crash, if it is embedded.
Missing file: include/is_embedded.inc

This file was left out of the initial changeset by misstake.
2008-05-09 10:26:06 +02:00