diff options
author | Gereon Kremer <nafur42@gmail.com> | 2021-06-04 15:17:57 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-06-04 08:17:57 -0500 |
commit | 2e001991f926c307ff0f812dafca4d9dc6e4d831 (patch) | |
tree | 982fc4e34b308f2f4ba44d0c1cd140c5839b2cbe /src/options | |
parent | adf497af7a3fc8b06b875eaf9feca2568d0ba9d8 (diff) |
Add missing dereference (#6684)
Diffstat (limited to 'src/options')
0 files changed, 0 insertions, 0 deletions