RPS api: Correct type of callback and handle for collecting gossip
authorJulius Bünger <buenger@mytum.de>
Mon, 8 Apr 2019 16:41:57 +0000 (18:41 +0200)
committerJulius Bünger <buenger@mytum.de>
Mon, 8 Apr 2019 16:41:57 +0000 (18:41 +0200)
commite05d529024e267dda1d65dd982a1d10a222ec7ca
tree922b6ded5376c5208543bf7594fbd02c68771718
parent11029ef9d4b6a8e201c1f036c6ef1ceb8dc3cd09
RPS api: Correct type of callback and handle for collecting gossip
src/rps/rps_api.c