(I'm not on this list, but I'll try to remember to check the archives for responses, or you can cc: me directly.)
Marc, open up a ticket on Bugzilla and submit that patch as an attachment using the web interface.
That will cause you to be Cc'd in an email automatically whenever there is any activity or discussion on the issue, and it will make sure that it never gets lost in the pile of discussion as it might as just a post to the mailing list.
I'm not one of the core developers either, and found that when I have had something to contribute doing it through Bugzilla works really well.
-- sidney
