diff options
| author | Julian Andres Klode <jak@debian.org> | 2018-09-18 14:10:03 +0000 |
|---|---|---|
| committer | Julian Andres Klode <jak@debian.org> | 2018-09-18 14:10:03 +0000 |
| commit | 64efbcd06aa8038e47db7a8bea2d0f388a3e1bb5 (patch) | |
| tree | ccd3ca2f5f43addde8067526fe74df63754e558e /apt-private/private-unmet.cc | |
| parent | 252a0a5020726a7b1ee53f2ed5f00e1210f5f4d1 (diff) | |
| parent | df696650b7a8c58bbd92e0e1619e956f21010a96 (diff) | |
Merge branch 'pu/keep-pipelining-after-close' into 'master'
http: Stop pipeline after close only if it was not filled before
See merge request apt-team/apt!25
Diffstat (limited to 'apt-private/private-unmet.cc')
0 files changed, 0 insertions, 0 deletions