[Rivet] It happened again :(

[Holger Schulz]

VAILLANT C.L.J. wrote:
>
> Does svn.hepforge.org respond to ping for you? It does for me, so it 
> could just be a problem with your connection.
>

Yes, everything except this m4 directory is fetched