-rps api: remove superfluous call to check_repy()
authorJulius Bünger <buenger@mytum.de>
Tue, 27 Sep 2016 14:44:12 +0000 (14:44 +0000)
committerJulius Bünger <buenger@mytum.de>
Tue, 27 Sep 2016 14:44:12 +0000 (14:44 +0000)

No differences found