Small updates
These are just some small updates. Unrelated to other stuff. I am glad that now I have a university email dedicated for yade :) So I updated .mailmap
.
These are just some small updates. Unrelated to other stuff. I am glad that now I have a university email dedicated for yade :) So I updated .mailmap
.