diff options
| author | Andre Noll <maan@tuebingen.mpg.de> | 2024-05-06 02:42:39 +0200 |
|---|---|---|
| committer | Andre Noll <maan@tuebingen.mpg.de> | 2024-05-06 02:45:08 +0200 |
| commit | 416f76835152d8e1aa0411a1a338a36c186ff6a9 (patch) | |
| tree | 36b4b36bf05bcf072a292efcc714bcb51b28bfb5 /debian/source | |
| parent | 9ce93ff2ae1a2366dc827d232a85711873dcf0e3 (diff) | |
| parent | 53e6709625595f6caafb7a3d92fd7a2f9858c177 (diff) | |
Merge branch 'master' into debiandebian
This brings in one single commit and updates debian/changelog.
* master:
Add NEWS file.
Diffstat (limited to 'debian/source')
0 files changed, 0 insertions, 0 deletions