Commit 69332014 authored by unknown's avatar unknown
Browse files

Merge mysql.com:/home/jimw/my/mysql-4.1-13796 

into  mysql.com:/home/jimw/my/mysql-4.1-clean
parents d5bb6606 8402aefe

mysql-test/t/not_embedded_server-master.opt

0 → 100644
+1 −0
Original line number Diff line number Diff line 
--loose-to-force-a-restart