Subject: linux-libre-3.3.8-gnu disappeared
From: Andreas Enge <[email-masked]>
To: [email-masked]
Date: Fri, 12 Jul 2013 13:02:05 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

The build of linux-libre-headers-3.3.8 currently fails because the tarball 
cannot be downloaded any more from
   http://linux-libre.fsfla.org/pub/linux-libre/releases/3.3.8-gnu/
Instead, there is a new version in
   http://linux-libre.fsfla.org/pub/linux-libre/releases/3.3.8-gnu1/

Should we switch to this one? Or update to the newest version? In all 
cases, I am afraid a complete rebuild will be triggered, so we might as 
well advance in the version numbers.

Andreas