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

ThreadAutorDatum ()
MSteve Dougherty
Msajolida