2018-11-15 23:33:30 UTC-0500, Remi Rampin <remiram...@gmail.com>: > I have gone ahead and implemented what you describe, it should be in > the next minor release of ReproZip. It also turns out to be faster.
This is present in reprozip/1.0.16-1 that was just uploaded so I believe it can be closed too (see https://github.com/VIDA-NYU/reprozip/pull/330). -- Rémi Rampin
