tree 7f3e8773e25ab8c93a0b2d7295c2c801e2260264
parent 5421ddd8d08df7288538a5ca05aeeeaa789a7ccd
author Johannes Schindelin <johannes.schindelin@gmx.de> 1575497110 +0100
committer Johannes Schindelin <johannes.schindelin@gmx.de> 1575646284 +0100

Git 2.22.2

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>