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/mumble/Plugins.h | |
parent | 5f744ed9710452364f7681437be8bf2ae190c41b (diff) | |
parent | 2825a4da9eeafb8d32d90a012e88effe9cf24b89 (diff) |
Merge PR #3783: Get rid of unused variable "records"
Diffstat (limited to 'src/mumble/Plugins.h')
0 files changed, 0 insertions, 0 deletions