diff options
author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2019-10-20 19:02:43 +0000 |
---|---|---|
committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2019-10-21 06:13:12 +0000 |
commit | 21dfc19a8a02450ea0de44332707ea4aeb9dd212 (patch) | |
tree | 7e805f1139cb4fd9dd2fc392740cc2c51a5db09a /pgp-keys/maintainers@lists.progress-linux.org/sakirnth@gmail.com.pub | |
parent | Releasing debian version 20190101-8. (diff) | |
download | progress-linux-21dfc19a8a02450ea0de44332707ea4aeb9dd212.tar.xz progress-linux-21dfc19a8a02450ea0de44332707ea4aeb9dd212.zip |
Using pin priority 100 for backports if the corresponding base release has not been selected in progress-linux apt sources handling.
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'pgp-keys/maintainers@lists.progress-linux.org/sakirnth@gmail.com.pub')
0 files changed, 0 insertions, 0 deletions