Hello,

FYI, the source packaging for GDB started failing 2 days ago (see
attached error message), and I don't think I will have time to look
into it before this coming weekend.

I did a build of GDB from scratch, and that worked. So this is
the good news. The bad news is that we'll have to first see if
we can reproduce with the src-release.sh script.

Copying H.J on the off chance that his patches about passing
--plugin to AR and RANLIB might be related.

-- 
Joel