This website requires JavaScript.
Explore
Help
Sign in
mirror
/
mariadb
Watch
1
Star
0
Fork
You've already forked mariadb
0
mirror of
https://github.com/MariaDB/server.git
synced
2025-01-19 13:32:33 +01:00
Code
Issues
Projects
Releases
Packages
Wiki
Activity
Actions
61079
commits
2784
branches
343
tags
1.6
GiB
0bf7ac328f
Commit graph
1 commit
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