Oct. 10, 2019
2:39 p.m.
On Wed, Oct 9, 2019 at 3:18 PM Sven Van Caekenberghe <sven@stfx.eu> wrote:
Actually, thinking about the original use case, I now feel that it would be best to remove #zipped/unzipped from String.
Please do. Cases like this teach us about the proper separation of concerns. Regards, -- Esteban