On Thursday 08.03.2012 12:01:24 curtis Hovey wrote: > This is bug https://bugs.launchpad.net/launchpad/+bug/676189
Yes definitely, thank you. Eike. _______________________________________________ Mailing list: https://launchpad.net/~launchpad-dev Post to : launchpad-dev@lists.launchpad.net Unsubscribe : https://launchpad.net/~launchpad-dev More help : https://help.launchpad.net/ListHelp
