On Mon, May 6, 2013 at 4:20 PM, Bernardo Dal Seno <[email protected]>wrote:

> Shouldn't this go to stable instead?
>

Yes, indeed.

Thanks,

Guido

Reply via email to