diff options
| author | Bjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com> | 2019-04-10 11:11:51 +0300 |
|---|---|---|
| committer | Bjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com> | 2019-04-12 10:18:59 +0300 |
| commit | f7375c497239115cd30ae42af6b4d298e4e7ad7d (patch) | |
| tree | cb21a9da3a26a0e151b11d5117454c74b3a95136 /navigation | |
| parent | 7966c0b5b7b2297527f8be9040b793de5e4e3f48 (diff) | |
Fix paginator refresh on server change
Fixes #5838
Diffstat (limited to 'navigation')
0 files changed, 0 insertions, 0 deletions