On Aug 13, 2012, at 19:19 , Peter Cock wrote: > If the auto-detection works, then I guess you are right, there is no need > for the option in the manifest. I goofed, found the bug. Do you need a hotfix? B. -- 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