giovanni a47664d758 Update to 5.1.72, ...

some innodb related bugs has been fixed.
Full changelog available at:
http://dev.mysql.com/doc/relnotes/mysql/5.1/en/news-5-1-72.html

ok brad@ (Mantainer)

2013-10-04 07:09:17 +00:00

..

patches

Update to 5.1.72,

2013-10-04 07:09:17 +00:00

pkg

Update to 5.1.72,

2013-10-04 07:09:17 +00:00

distinfo

Update to 5.1.72,

2013-10-04 07:09:17 +00:00

Makefile

Update to 5.1.72,

2013-10-04 07:09:17 +00:00