[Merge] lp:~pitti/apt/compressed-indexes into lp:~mvo/apt/debian-sid

[noreply at launchpad.net]

The proposal to merge lp:~pitti/apt/compressed-indexes into lp:~mvo/apt/debian-sid has been updated.

    Status: Needs review => Merged
-- 
https://code.launchpad.net/~pitti/apt/compressed-indexes/+merge/38319
Your team Ubuntu Core Development Team is requested to review the proposed merge of lp:~pitti/apt/compressed-indexes into lp:~mvo/apt/debian-sid.