* no need to inform sid@sourceware about dejagnu patches.