You are right, it makes no sense to keep this patch. My justification
for the patch was wrong. I will fix that.
-- 
viele Grüße Thomas

Reply via email to