Contributors to 2020-08-10 Custom git-log format and a poor man's changelog revisited