diff options
| author | Davide Beatrici <davidebeatrici@gmail.com> | 2019-09-10 02:04:53 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-09-10 02:04:53 +0300 |
| commit | 713b92c3c233f8f38200c4a458e0196d3d39a3b0 (patch) | |
| tree | 08c95980a00678be42f7901b2471cc5d5dda9299 /src/tests | |
| parent | 5f744ed9710452364f7681437be8bf2ae190c41b (diff) | |
| parent | 2825a4da9eeafb8d32d90a012e88effe9cf24b89 (diff) | |
Merge PR #3783: Get rid of unused variable "records"
Diffstat (limited to 'src/tests')
0 files changed, 0 insertions, 0 deletions