tree 3fa5fc33ece280b92bcd067124419830eb00c222
parent 449d5a4a4e9e6512c5dc30dc5c051a228e768180
author Daniel <strueber@mathematik.uni-marburg.de> 1561645633 +0200
committer Daniel <strueber@mathematik.uni-marburg.de> 1561645633 +0200

Better instructions for new committers

Change-Id: Ic51619bfa6c9594a6fc58c5e9f4b308838f7f99f