Hi Tom, > In https://sourceware.org/bugzilla/show_bug.cgi?id=22249#c10, Nick > offered me maintainership of this file, but I wasn't sure if that was > official It was an official offer, if you are willing. > or not, so I haven't pushed it. Please do push your change. Cheers Nick