tree 8cb10fa6e02a094dd7ea429f50a92174940ded6e
parent c1547450748fcbac21675f2681506d2d80351a19
author Johannes Schindelin <johannes.schindelin@gmx.de> 1575495195 +0100
committer Johannes Schindelin <johannes.schindelin@gmx.de> 1575646251 +0100

Git 2.20.2

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