diff options
| author | Jeroen Wijenbergh <jeroen.wijenbergh@geant.org> | 2025-05-26 12:58:02 +0200 |
|---|---|---|
| committer | Jeroen Wijenbergh <jeroen.wijenbergh@geant.org> | 2025-05-26 12:58:02 +0200 |
| commit | 47183a18ca03b3e2bb8e0d51870ae7913fb04fae (patch) | |
| tree | b815c6e3580b79148608a93cea88cc866ec689d2 /client | |
| parent | 733f1892dcee4061b9a5d6224d5822d5da1312f8 (diff) | |
Types Server: Clarify ShouldFailover boolean
Diffstat (limited to 'client')
0 files changed, 0 insertions, 0 deletions