tree 8b5870a0d9a02f6417fe7c0dff9b024c699ca4d2
parent 034c26bfdb41dbe25d0365b6b317d7097b2a22c6
author Daniel Strueber <strueber@mathematik.uni-marburg.de> 1615636587 +0100
committer Daniel Strueber <strueber@mathematik.uni-marburg.de> 1615636587 +0100

Retire inactive committers

Change-Id: I7ab7cf50370e963c2e5b88b79343a717ea3462b1
Signed-off-by: Daniel Strueber <strueber@mathematik.uni-marburg.de>