diff options
author | Julian Andres Klode <jak@debian.org> | 2020-02-18 12:38:46 +0000 |
---|---|---|
committer | Julian Andres Klode <jak@debian.org> | 2020-02-18 12:38:46 +0000 |
commit | 62683ed6459e874119f3346d8be66b85e8a90533 (patch) | |
tree | 438581b4c0d1ee233244d7a20636eba96950adfc /vendor/ubuntu/sources.list.in | |
parent | 9a0a2daa268bd718a4b7fd9617b46ed74c76e94a (diff) | |
parent | 450af26202424bef33e0c58f3f99dfd0c21e7297 (diff) |
Merge branch 'pu/source-version' into 'master'
ABI BREAK: Implement pinning by source package
See merge request apt-team/apt!96
Diffstat (limited to 'vendor/ubuntu/sources.list.in')
0 files changed, 0 insertions, 0 deletions