I submitted a patch to Bugzilla (Bug 28838). Is it required/suggested to post it to this list too? Steffen