simple code enhancement

I’m not new to using WordPress but I’m new to contributing things. I have a very simple and basic (but useful) addition to the core code in the get_links_list() function. It adds the ability to format the tags around the header that function produces. Where do I submit it?