diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2020-08-31 14:18:32 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-08-31 14:18:32 +0200 |
commit | 96e257b2728c0cd1d43b2b700c3d9c52a0b44712 (patch) | |
tree | 8a972d3f9e5356bc481c2ae366ceca77e5e8c6f5 /.github | |
parent | a70038293cb583d2f51d08f20db1b0a230392c14 (diff) | |
parent | 31fdb0fe46dbfc869fac9ca2e29bb512ea7d7067 (diff) |
Merge pull request #41601 from hinlopen/remember-last-filter-order
Fix not saving new filter order in project manager
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions