PNGGauntlet 3.1.2 更新日志：
1.Feature Added a "Always convert files to PNG even if it would make them larger" option for those who want PNGs at any cost.
2.Fix Adding directories that contain a '.' in their name works now.
3.Fix Fix some errors when PNGGauntlet cannot create or delete temp files.