Re: [PATCH] dejagnu: update to 1.6.2