[Qemu-devel] Patchew down?

[Philippe Mathieu-Daudé]

Hi,

I think patchew is having some trouble since at least 1 week:
new series aren't added.

Regards,

Phil.