> 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.