On Thu, Mar 26, 2009 at 8:12 PM, Michael DeHaan <mdehaan(a)redhat.com> wrote:
Something happened with your github?
Well, actually the new debian-devel repository just disappeared. But
I've looked it again right now, and it is back exactly as I remember
it.
So, we can forget my previous mail. Maybe was some temporary problem in github.
Javier Palacios