Guys, I believe that all issues have now been resolved. I have moved
the release tag forward wherever appropriate and rebuilt a snapshot of
1.2.5. All is now on the download server. Come and get it. Unless
anyone reports a major issue right away (Tuesday 4 Feb), I will post
the release announcement during the following night.
Cheers,
-- Dr. Denys Duchier Iquipe Calligramme LORIA, Nancy, FRANCE - Please send submissions to hackers@mozart-oz.org and administriva mail to hackers-request@mozart-oz.org. The Mozart Oz web site is at http://www.mozart-oz.org/.