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
