[PlanetCCRMA] OpenMusic 4.7.2.beta released

[Francois Dechelle]

Hello,

Release 4.7.2 of OpenMusic is available at:
ftp://freesoftware.ircam.fr/pub/openmusic/releases/4.7.2.beta

This release integrates the changes made by Fernando for inclusion in
Planet CCRMA and fixes some compilation issues on Fedora Core 1. With
this version, you can run OpenMusic on Fedora.

BUT note however that OpenMusic on Fedora have one important bug: it
cannot quit... i.e. you need to kill it from another terminal (beware,
the name of the process is ld-linux.so.2 ;-)

François