On 29 May 2013 18:35, Maxime Gauduin firstname.lastname@example.org wrote:
What Felix said. Also such a simple patch can be achieved with a sed command.
Just a note here: While the above is true for simple one-liners, I would recommend against getting in the habit of using sed to accomplish patching. A proper patch is much cleaner and conveys the message better. A patch knows exactly what to do, but with the sed command you may not.
-- GPG/PGP ID: C0711BF1