pngcrush does a very good job at reducing the size of PNG-Files. I was wondering if the was something similar for GIFs, which we still use in our applications (can't fix that quickly).
Google Page Speed claims that our GIF images could be optimized by a large amount, but doesn't recommend a way. I searched the web and couldn't find a tool or library.
Does anyone know a straight forward way to optimize those GIF-Files?