-
Committer:
Oswald Buddenhagen
-
Date:
2022-07-05 09:40:54 UTC
-
Revision ID:
git-v1:8648d7a47965f4b9fd185247a3638746cada631e
remove duplicate contributor entry
anton khirnov is already in the main section, no need to have him in the
honorary section as well.
on a completely unrelated note, for posterity: andreas grapentin's
mention is due to commit cf13630a, where i forgot to credit him for the
initial version of the patch.