On 10/08/13 09:58, intrigeri wrote: > [email protected] wrote (10 Aug 2013 06:52:12 GMT) : >> I think there was no strong argument in play when we chose between `dd` >> or `cat`. If `dd` is easier to prefix with `sudo`, then why not change >> to `dd`, yes. > > OK. > > Should I create a ticket about it? > Should I assign it to you?
Fixed already, see 58c80f4.
signature.asc
Description: OpenPGP digital signature
_______________________________________________ tails-dev mailing list [email protected] https://mailman.boum.org/listinfo/tails-dev
