I've created a series of small PNG files using Blender and I was wondering if there was a tool (preferably in the repos.) that would convert them to an animated GIF.
One extra stipulation: the tool needs to also be able to set the background color of the GIF to a specified color since the PNG files have an alpha channel and I don't want the GIF to be transparent.