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.

Reply via email to