diff options
| author | Christian Grothoff <christian@grothoff.org> | 2021-10-06 13:29:46 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2021-10-06 13:29:46 +0200 |
| commit | baf8df40d10ebe5748e6a909c2985fbfcf202038 (patch) | |
| tree | 2b64d36678017ecc1b36760733b6458ee68440fd /debian/patches/series | |
| parent | e16892070216840d1cc9b2295288a3f0d8f8e65b (diff) | |
-merge Stefan last-minute changes
Diffstat (limited to 'debian/patches/series')
0 files changed, 0 insertions, 0 deletions