Posted December 19, 2023 by Jess
Oops! I found a little bug with the GIF decoding, and I've pushed a new version which fixes it. If you don't use the GIF import functionality, don't worry about it. Also, it's a bug that will rarely come up anyways. This also fixes some inconsistent error messages too.
As always, if you find a GIF that doesn't load properly, and it doesn't give you a proper error message (GIF too big, no global color table, etc) please let me know so I can look at it!