1
0
mirror of https://github.com/MariaDB/server.git synced 2025-06-12 01:53:02 +03:00
Commit Graph

4 Commits

Author SHA1 Message Date
cb248f8806 Merge branch '5.5' into 10.1 2019-05-11 22:19:05 +03:00
5543b75550 Update FSF Address
* Update wrong zip-code
2019-05-11 21:29:06 +03:00
f0cb21ea2e Remove dead code is_thd_killed() 2018-11-02 12:42:01 +02:00
d41d43f421 MDEV-4065 thd_kill_statement service 2013-01-18 19:04:23 +01:00