diff options
author | Martin <marcin.j.chrzanowski@gmail.com> | 2020-01-12 16:54:19 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-01-12 16:54:19 +0100 |
commit | f0076abd246bdf40ba4a03c0c894f6f75173eac8 (patch) | |
tree | db9cac13dae0da577c63dfd9a368452be6c14f2a /src/test/resources/pl/edu/mimuw | |
parent | d88caa2d3fdb3cc5d17a4367583e8ab385ead3b6 (diff) | |
parent | edec7f92b20f1f873083bdf3198283fa822e0f64 (diff) |
Merge pull request #112 from m-chrzan/gossip-gc
Garbage collect inactive gossips
Diffstat (limited to 'src/test/resources/pl/edu/mimuw')
0 files changed, 0 insertions, 0 deletions