Hi, >Is it worth keeping a patch downstream for such a trivial fix? I don't think it is worth a patch, lets keep patches for real bugs :) G.