git.or.cz, repo.or.cz down

  Hi,

  FYI, the server running git.or.cz and repo.or.cz crashed and will
probably stay down until Monday - please bear with us; repo.or.cz
users may enjoy trying out some alternative development models than
central-server based ones. ;-)

  The oops happenned once before already, but this time I figured out
more details thanks to the good ol' netconsole. For the more technically
inclined, the crash is due to an IPv6 kernel bug:

	http://www.spinics.net/lists/netdev/msg65854.html