Closed quernd closed 1 year ago
In preparation for an OPAM release, I updated the maintainer (that will be me, unless somebody is eager to 😸) as well as the list of authors (all contributors in chronological order taken from git log --reverse).
git log --reverse
FYI, how to get that list of contributors (yes I know it's not pretty):
git log --reverse --no-merges --format="%aN <%aE>" | sort -u | paste -d'§' -s - | sed 's/§/, /g'
In preparation for an OPAM release, I updated the maintainer (that will be me, unless somebody is eager to 😸) as well as the list of authors (all contributors in chronological order taken from
git log --reverse
).