On Dienstag 29 September 2009 Peter wrote: > [...] > Weird - but good news that it should be fixed. While I can wait for > the next release candidate if it is due soon, where is the public > repository? I explored the sourceforge page but that SVN repository > seems to be empty: That's because it is empty. The dev repository is still CVS and only on my home disk as MIRA transitioned not too long ago to SF and this was something I yet did not have time to look into. Another point on the long list ... Regards, 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