diff options
| author | Jeroen van Rijn <Kelimion@users.noreply.github.com> | 2025-06-24 17:02:20 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-06-24 17:02:20 +0200 |
| commit | 62e797b9d15d32b7db906e99e98f0943bf2aa6e3 (patch) | |
| tree | 3307829273d3b1c14df8631141bceb53e04584c3 /src/types.cpp | |
| parent | ebdf2e17f3fa445b5c64f16e5c077c0e710b3463 (diff) | |
| parent | fb3bccdd3e31c8c237721f6658722e0bfb54e71c (diff) | |
Merge pull request #5406 from Airtz/addendum-5402
Fix an oversight in PR #5402
Diffstat (limited to 'src/types.cpp')
0 files changed, 0 insertions, 0 deletions