[PATCH] PR other/63613: Add fixincludes for dejagnu.h

[Bruce Korb]

>> This is the first time I've touched the "fixincludes" directory;
>> is this the correct way to make a change here?

Well, I'd like to see it -- especially since it's your first.
Please send to this gmail account or wait until I get my GNU email this weekend.
Thanks!

>> Successfully bootstrapped & regrtested on x86_64-unknown-linux-gnu
>> (Fedora 20).
>>
>> OK for trunk?

More likely than not :)