Leo Famulari <leo@famulari.name> writes:

> In this case I think we should drop the patch, since Marius did not
> pursue it.

I agree, closing.