Here is a patch suggestion to correct these file names: https://gist.github.com/anonymous/0fb75e42e5ff666aede9/raw/6799f0e1df61debef63cdd120f8f31d13cf9225c/Fix-file-name-oddities.patch _______________________________________________ tails-dev mailing list [email protected] https://mailman.boum.org/listinfo/tails-dev
I noticed that tails-reboot.desktop and tails-shutdown.desktop
are strangely named. The names should be the other way around.
This isn't a problem for users but perhaps these filenames
confuse translators.
- [Tails-dev] Swop filenames of tails-reboot.desktop and tail... Mikko Harhanen
