tree 3c5de6ed0f54bd29b7f701d6ae8dcf4f17a8170e
parent 6a4cb16661d9365564e8f54aaf13ca9f0b7ca849
author Akron <nils@diewald-online.de> 1596793305 +0200
committer Akron <nils@diewald-online.de> 1596793305 +0200

Minor cleanups for annotation procedures

Change-Id: Ib09ac9a911e535070794f78ad023813ad192565c