[Tails-dev] [review'n'merge:1.4] feature/9278-Jessie-was-rel…

Hi,

as soon as Jessie is released (in a few hours), our build system will
start doing stupid things. The proposed branch fixes that. It is safe
to merge it before the actual Jessie release.

Please merge into stable and devel.

I may merge it myself later today, to prevent brokenness, but it'll
still be good to review it.

Cheers,
--
intrigeri