Andrew John Hughes wrote:
On closer inspection, there may be an issue as Ludovic does not have a copyright assignment. Both look more complicated at present than simple renaming.
The first issue, #40653, involves only a trivial change (a few one- liners).
I'm assuming that this file also needs the patch http://gcc.gnu.org/bugzilla/attachment.cgi?id=18143 which seems to have some changes outside just fixing the class used.
I'll look into this. -- Chris Burdess