Dear all, MIRA 4.9.3 is available since Saturday on SourceForge and fixes all reported problems with the 4.9.x development line. Feedback welcome :-) Best, Bastien -- You have received this mail because you are subscribed to the mira_talk mailing list. For information on how to subscribe or unsubscribe, please visit http://www.chevreux.org/mira_mailinglists.html