Aharon Robbins wrote: ... > And I got an official email from the FSF legal elves that my paperwork > was received. :-)
In general, you(as a gnu maintainer) can check copyright assignment status with a command like like this: ssh fencepost.gnu.org grep -i "'gnulib.*robbins'" \~gnuorg/copyright.list