Reduced duplicated names in contributor list#1546

Open

lindaokorie27 wants to merge 3 commits intoocaml:masterfrom

lindaokorie27:duplicate-contributors

Commits on Apr 20, 2021

edited command to get contributor names
lindaokorie27
committed

Commits on Apr 21, 2021

refactored contributor list to display full names
lindaokorie27
committed

Commits on Apr 22, 2021

further sorted extracted names
lindaokorie27
committed