[Tails-dev] [review'n'merge:1.1] #7150: feature/linux-3.14

Hi,

Linux 3.14 landed in Debian unstable a few days ago. Linux 3.13 will
disappear from it soonish. Presumably, we want to ship 3.14 in Tails
1.1 => please review feature/linux-3.14 and merge it into devel.

Cheers,
--
intrigeri
| GnuPG key @ https://gaffer.ptitcanardnoir.org/intrigeri/intrigeri.asc
| OTR fingerprint @ https://gaffer.ptitcanardnoir.org/intrigeri/otr.asc