=== r0bby is now known as robbyoconnor [10:00] vila: we really should feed those gzipfile tunings upstream [10:45] lifeless: right, would have been easier when we had the resources to handle that, tech debt... [10:45] vila: yeah === bigjools_ is now known as bigjools === tuvwx_ is now known as tuvwx === milleja46_ is now known as milleja46 === thumper is now known as vorpalbunny === _thumper_ is now known as thumper === spiv_ is now known as spiv