The source project of this merge request has been removed.
.mailmap: fix duplicate entries for Leo Singer
Detailed Description
Fixes !2423 (merged)
API Changes
-
These changes do not modify the API. -
These changes are backwards compatible. -
These changes are backwards incompatible.
For examples of changes that do not modify the API and/or are considered backwards (in)compatible, please see the contributing guide.