> Maybe we should create a Redmine ticket to store this patch for when
> it will become relevant?

Too much overhead - let's just leave it; nothing is broken right now and
it's unlikely to be break silently in the future. :)


Regards,

-- 
      ,''`.
     : :'  :     Chris Lamb
     `. `'`      la...@debian.org / chris-lamb.co.uk
       `-
_______________________________________________
Tails-dev mailing list
Tails-dev@boum.org
https://mailman.boum.org/listinfo/tails-dev
To unsubscribe from this list, send an empty email to 
tails-dev-unsubscr...@boum.org.

Reply via email to