diff options
author | Bjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com> | 2019-04-10 10:11:51 +0200 |
---|---|---|
committer | Bjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com> | 2019-04-12 09:18:59 +0200 |
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