Thanks for the report and the fix. This is very useful.
I think we must do this, the question is just when: when we do this, all .png files in the repo will change which will blow up the repo and be a huge commit. I suggest waiting till shortly before the next release (when we will also en masse pngoptimize the .pngs again I guess) to do this. What do others think?
Thanks for the report and the fix. This is very useful.
I think we must do this, the question is just when: when we do this, all .png files in the repo will change which will blow up the repo and be a huge commit. I suggest waiting till shortly before the next release (when we will also en masse pngoptimize the .pngs again I guess) to do this. What do others think?