On 02/11/2016 07:04 AM, Iain Buclaw wrote: > Yep, I have a patch against dejagnu ready. I just haven't searched > for their patches ML just yet. It's dejagnu at gnu.org. I'm not aware of a separate patches list. Thanks, Pedro Alves