diff options
| author | Julian Andres Klode <jak@debian.org> | 2024-08-22 15:10:45 +0000 |
|---|---|---|
| committer | Julian Andres Klode <jak@debian.org> | 2024-08-22 15:10:45 +0000 |
| commit | 8a8fdea4c71fbddfda9f7d6a1d9ec5da68870e12 (patch) | |
| tree | 767576588cb2578048c0467771bbfe0ca9d7056d /debian/source | |
| parent | f51b662525c78149892be16c111bad44b05f6c63 (diff) | |
| parent | 67070389f3752f6f23d1fb0c06bd963464aa8bca (diff) | |
Merge branch 'pin-source-version' into 'main'
Implement 'Pin: source-version <foo>'
See merge request apt-team/apt!372
Diffstat (limited to 'debian/source')
0 files changed, 0 insertions, 0 deletions