brad 7056bc2cef Update to MySQL 5.1.71. ...

ok giovanni@

2013-08-07 23:38:55 +00:00

..

patches

Update to MySQL 5.1.71.

2013-08-07 23:38:55 +00:00

pkg

Revert back to using MySQL 5.1 for the time being. MariaDB 5.5 introduces

2013-06-12 20:36:33 +00:00

distinfo

Update to MySQL 5.1.71.

2013-08-07 23:38:55 +00:00

Makefile

Update to MySQL 5.1.71.

2013-08-07 23:38:55 +00:00