diff options
| author | Yngve Aasheim <yngveaasheim@users.noreply.github.com> | 2023-01-12 13:03:02 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-01-12 13:03:02 +0100 |
| commit | 9667e51302674c198421a010e66efb8de8990f35 (patch) | |
| tree | bbc82880ca6efbe0c82e7cac9f82acce7a0fd11b /filedistribution | |
| parent | 190283354aef54b3f418845d00e0faea9591ccfa (diff) | |
| parent | 32f09753fff66ac7c4c2c63b7f72fcf19d5953c3 (diff) | |
Merge pull request #25528 from vespa-engine/yngveaasheim/jdisc-gc-count
Use enum for jdisc gc count
Diffstat (limited to 'filedistribution')
0 files changed, 0 insertions, 0 deletions