summaryrefslogtreecommitdiff
path: root/src/reclaim
diff options
context:
space:
mode:
authorJulius Bünger <buenger@mytum.de>2019-04-08 18:41:57 +0200
committerJulius Bünger <buenger@mytum.de>2019-04-08 18:41:57 +0200
commite05d529024e267dda1d65dd982a1d10a222ec7ca (patch)
tree922b6ded5376c5208543bf7594fbd02c68771718 /src/reclaim
parent11029ef9d4b6a8e201c1f036c6ef1ceb8dc3cd09 (diff)
RPS api: Correct type of callback and handle for collecting gossip
Diffstat (limited to 'src/reclaim')
0 files changed, 0 insertions, 0 deletions