Re: [PATCH] dejagnu: Update to 1.6