[Tails-dev] [PATCH] Fix incorrect usage of "discrete"

FilAutorData ()
MSteve Dougherty
Msajolida