Closed Joseph-Edwards closed 6 months ago
In the list of contributors, my email address is cited as je53@st-andrews.ac.uk. This should be jde1@st-andrews.ac.uk. From what I can tell, these are the places with issues: https://github.com/semigroups/Semigroups/blob/ebcaf4a9621ac0cf6c6590b3a4fc246a1b96abc9/.mailmap#L6 https://github.com/semigroups/Semigroups/blob/ebcaf4a9621ac0cf6c6590b3a4fc246a1b96abc9/PackageInfo.g#L120
je53@st-andrews.ac.uk
jde1@st-andrews.ac.uk
Thanks @Joseph-Edwards and sorry!
In the list of contributors, my email address is cited as
je53@st-andrews.ac.uk
. This should bejde1@st-andrews.ac.uk
. From what I can tell, these are the places with issues: https://github.com/semigroups/Semigroups/blob/ebcaf4a9621ac0cf6c6590b3a4fc246a1b96abc9/.mailmap#L6 https://github.com/semigroups/Semigroups/blob/ebcaf4a9621ac0cf6c6590b3a4fc246a1b96abc9/PackageInfo.g#L120