Tommaso Cucinotta wrote:
> I dropped the new patch on #3205, so that we don't forget about it.

its uncomfortable to comment on the patches coming in gzip form, i.e.
the chances to get some reaction is smaller this way.
pavel

Reply via email to