On 22 Oct 2016, at 12:00, Dimitris Chloupis <kilon.alios@gmail.com> wrote:

Didn't Esteban fixed metarepo ? I think I remember him saying that he did.