[darcs-devel] [patch1256] optimization: compress patch data before... (and 2 more)

[Ben Franksen]

Guillaume Hoffmann wrote:

>>> Is switching to block buffering mode an independent change from
>>> compressing the data?
>>
>> Yes. I really should have recorded two separate patches. And I wish I
>> would have waited before pushing the patch to reviewed. Can we just
>> obliterate it (from screened and reviewed) and let me send an amended
>> version?
> 
> Probably not, because we have a couple of mirrors out there on
> hub.darcs.net that already have the patches (if you don't obliterate a
> patch within 1 hour, they are pulled by the mirrors).
> 
> I think it's better if you send a followup patch removing block buffering.

Okay. I still believe it is a good idea to be explicit about the buffering 
in this case. But that can wait; I am planning to ask about this on the ghc-
users list, maybe someone can explain what's going on here.

Cheers
Ben
-- 
"Make it so they have to reboot after every typo." -- Scott Adams