This repository was archived by the owner on Aug 15, 2019. It is now read-only.

Add a mailmap#107

Open

PeterJCLaw wants to merge 2 commits intosourcebots:masterfrom

PeterJCLaw:mailmap

Commits on Apr 17, 2019

Add a mailmap
PeterJCLaw
committed

Commits on Apr 18, 2019

Merge branch 'master' into mailmap
PeterJCLaw
committed