> From: Robert Pluim <rpl...@gmail.com> > Cc: Eli Zaretskii <e...@gnu.org>, 72...@debbugs.gnu.org > Date: Wed, 04 Sep 2024 15:01:23 +0200 > > Eli, does this change need a copyright assigment? I donʼt see > 'ultr...@gmail.com' in the git logs anywhere.
Paul's assignment is on file, so we are okay in that department.
