diff options
| author | Laurenz <laurmaedje@gmail.com> | 2023-04-19 17:51:33 +0200 |
|---|---|---|
| committer | Laurenz <laurmaedje@gmail.com> | 2023-04-19 17:51:33 +0200 |
| commit | f08ae95b9d8be5165f9c8cac4c755d0510c3a18a (patch) | |
| tree | cc4bdf617618535d128e1a5611f270c8a99df31f /tools | |
| parent | 5a6330dbfce9ed30c77502b66db843fd72b2d267 (diff) | |
Fix argument sinks
Fixes #886.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions