commit | 8f1179d65685b8f470f91194c685a008422d49e7 | [log] [download] |
---|---|---|
author | nicm <nicm> | Wed Jul 15 10:09:54 2020 +0000 |
committer | nicm <nicm> | Wed Jul 15 10:09:54 2020 +0000 |
tree | 145af5d4dd95b4ae62b1ab6051f4c65bb03a99b3 | |
parent | 468be2a37f6185b43e6fa08cd1940abd040a7c03 [diff] |
Handle padding cells correctly when searching, GitHub issue 2301.