Re: [PATCH 1/2] --include etc. now work on command-line args more consistently

[Paul Eggert]

I didn't know it when I wrote that patch, but it turns out that my
patch should fix bug#30792 on Savannah.