On Mon, Oct 31, 2011 at 10:36, Mark Wielaard <mjw(a)redhat.com> wrote:
Unless someone complains this is wrong I
would like to install the attached patch to make it so.
No, that's the intention. If ever a script doesn't use gawk or bash
(and awk of sh instead) this is just habit and laziness from my side.