Antonio Terceiro wrote: > So do we want to replace the earlier patch with this one?
Hm, the patch to #829362 (which modifies the patch) is kinda ugly and almost impossible to mentally parse. Sorry about that. So, considering this cleaner patch: https://github.com/rtomayko/ronn/pull/98/files … I believe we need all of these changes so, yes, we should replace it. The following hunk demonstrates that it absorbs the previous patch: https://github.com/rtomayko/ronn/pull/98/files#diff-a87e9e80c3a7693175aa8c08bdb48452L70 Thanks! Regards, -- ,''`. : :' : Chris Lamb `. `'` la...@debian.org / chris-lamb.co.uk `-
