diff options
author | Julian Andres Klode <jak@debian.org> | 2018-05-24 13:54:27 +0000 |
---|---|---|
committer | Julian Andres Klode <jak@debian.org> | 2018-05-24 13:54:27 +0000 |
commit | 9b0319db37c97cfb2a018b6af97019efba4562ab (patch) | |
tree | 4dd7778d05b65b30f5c9d0c5d8dc142f7d9926ba /cmdline/apt-mark.cc | |
parent | 6eaeec549241677335813af78f394010e5b3eefb (diff) | |
parent | 329a4a6159f1972ff5ec7bc2db26430f26dc61f3 (diff) |
Merge branch 'pu/timeout-bad-addr-fixes' into 'master'
Pu/timeout bad addr fixes
See merge request apt-team/apt!18
Diffstat (limited to 'cmdline/apt-mark.cc')
0 files changed, 0 insertions, 0 deletions