4.1.23 released?

[Michael McCallister]

I noticed 4.1.23 was released this month: http://dev.mysql.com/doc/refman/4.1/en/news-4-1-23.html Was going to test it out, but noticed it is not available here: http://dev.mysql.com/downloads/mysql/4.1.html

I am sure 4.1.x is low priority but I just wanted to confirm, assuming someone who reads this board knows, that we will eventually see it here: http://dev.mysql.com/downloads/mysql/4.1.html

Not a huge deal I guess - it just struck me as odd that the latest 4.1.x release was out, but not really out :-)