diff options
| author | Christian Grothoff <christian@grothoff.org> | 2022-11-08 14:56:32 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2022-11-08 14:56:32 +0100 |
| commit | fe18c104d8a8d3667b3c872078549c7e78c71db0 (patch) | |
| tree | 31bdd37cd3fe5a247e25a4b0c807dc364e7c7d4c /debian/patches | |
| parent | 55f1217a3313876a8c5f5ea24be9bd81dc922910 (diff) | |
-fix #7428
Diffstat (limited to 'debian/patches')
0 files changed, 0 insertions, 0 deletions