Making the linter happy by removing superfluous ;

Signed-off-by: Ralph Krimmel <rkrimme1@gwdg.de>
This commit is contained in:
Ralph Krimmel 2019-11-28 12:26:50 +01:00
commit 4e1d4868e7

Diff content is not available